This is the proposed layout for the web page of Orc's reference manual.

=============================================

Tentative Layouts#

Organization#

Data Values:

  • Booleans
  • Numerics
  • Character Strings
  • signal
  • Lists
  • Tuples
  • Records
  • Algebraic Data Types (fat)
  • Closures (thin)
  • Mutable State (link to Library sites like Ref, Buffer)
  • External Values

Expressions:

  • stop
  • Site call
  • Operations
  • if then else
  • lambda

Combinators:

Declarations:

  • val -- Define Value (thin)
  • def -- Define Function (very fat)
  • def class -- Define Site in Orc (fat)
  • site -- Import Site (thin)
  • class -- Import Java Class (thin)
  • type -- Declare Type
  • include -- Include Orc File

Patterns:

  • Constant Pattern
  • Variable Pattern
  • Tuple Pattern
  • List Pattern
  • Call Pattern
  • Cons Pattern
  • As Pattern
  • Wildcards

Sites and Services:

  • Library sites
  • Java sites (fat)
  • Web Services
  • Custom sites (fat)

Time:

  • Real Time
  • Virtual Time
Syntax:
  • EBNF grammar
  • Keywords
  • Precedence (includes all elements of expression syntax)

Type System:

  • Primitive types, Top, Bot
  • Tuple type
  • List type
  • Record type
  • Lambda type
  • Ascriptions
  • Assertions

Concepts:

  • Blocking
  • Halting
  • Silence
  • Killing
  • Deflation

Add new attachment

Only authorized users are allowed to upload new attachments.
« This page (revision-39) was last changed on 16-Feb-2011 12:02 by JohnThywissen