Statements and Expressions

• Introduction
• Starting, Interrupting and Terminating
  • <Ctrl>-C
  • quit;
  • <Ctrl>-D
  • <Ctrl>-\
• Identifiers
• Assignment
  • Simple Assignment
    • x := expression;
    • Example: Identifiers
    • x₁, x₂, ..., xₙ := expression;
    • _ := expression;
    • assigned x: Var → BoolElt
    • Example: Multiple Returns
  • Indexed Assignment
    • x[expr₁][expr₂]...[exprₙ] := expression;
    • x[expr₁,expr₂,...,exprₙ] := expression;
    • Example: Indexing
  • Generator Assignment
    • E<x₁, x₂, ...xₙ> := expression;
    • E<[x]> := expression;
    • Example: Generator Naming Sequence
    • AssignNames(~S, [s₁, ... sₙ] ): Str, [ MonStgElt ]
    • Example: Generator Naming
  • Mutation Assignment
    • x o:= expression;
    • Example: Mutation Assignment
  • Deletion of Values
    • delete x: Var
• Boolean Values
  • Creation of Booleans
    • Booleans() → Bool
    • # B: Bool → RngIntElt
    • true
    • false
    • Random(B): Bool → BoolElt
  • Boolean Operators
    • x and y: BoolElt, BoolElt → BoolElt
    • x or y: BoolElt, BoolElt → BoolElt
    • x xor y: BoolElt, BoolElt → BoolElt
    • not x: BoolElt → BoolElt
  • Equality Operators
    • x eq y: Any, Any → BoolElt
    • x ne y: Any, Any → BoolElt
    • x cmpeq y: Any, Any → BoolElt
    • x cmpne y: Any, Any → BoolElt
    • Example: Equality
  • Iteration
    • Example: Booleans
• Coercion
  • S ! x: Str, Elt → Elt
  • IsCoercible(S, x): Str, Elt → Bool, Elt
• The where \(\ldots\) is Construction
  • expression₁ where identifier is expression₂
  • expression₁ where identifier := expression₂
  • Example: where
• Conditional Statements and Expressions
  • The Simple Conditional Statement
    • if
    • if
    • elif
    • Example: if
  • The Simple Conditional Expression
    • Boolean expression select expr₁ else expr₂
    • Example: In Line Conditional
  • The Case Statement
    • case expr : when exprᵢ : statements end case
    • Example: case
  • The Case Expression
    • case< expr | expr_left,1 : expr_right,1, ..., expr_left,n : expr_right,n, default : expr_def>
• Error Handling Statements
  • The Error Objects
    • Error(x): Any → Err
    • e`Position: Err → MonStgElt
    • e`Traceback: Err → MonStgElt
    • e`Object: Err → Any
    • e`Type: Err → MonStgElt
  • Error Checking and Assertions
    • error expression, ..., expression;
    • error if Boolean expression, expression, ..., expression;
    • assert Boolean expression;
    • assert2 Boolean expression;
    • assert3 Boolean expression;
  • Catching Errors
    • try statements catch e statements end try
    • Example: while
• Iterative Statements
  • Definite Iteration
    • for i := expr₁ to expr₂ by expr₃ do
    • for i := expr₁ to expr₂ do
    • for
  • Indefinite Iteration
    • while
    • Example: while
    • repeat
    • Example: repeat
    • for random
  • Dual Iteration
    • for
    • for random
  • Early Exit from Iterative Statements
    • continue;
    • continue identifier;
    • break;
    • break identifier;
    • Example: break
• Runtime Evaluation: the eval Expression
  • eval expression
  • Example: eval1
  • Example: eval2
• Comments and Continuation
  • //
  • /*  */
  • \
  • Example: Various
• Timing
  • Cputime() → FldReElt
  • Cputime(t): FldReElt → FldReElt
  • Realtime() → FldReElt
  • Realtime(t): FldReElt → FldReElt
  • ClockCycles() → RngIntElt
  • Time() → MonStgElt
  • Time(T): MonStgElt → MonStgElt
  • time statement;
  • vtime flag: statement;
  • vtime flag, n: statement:
  • SetShowRealTime(v): BoolElt
  • GetShowRealTime() → BoolElt
  • Example: Time
  • Example: Time Multi Threaded
• Types, Category Names, and Structures
  • Type(x): Elt → Cat
  • Category(x): Elt → Cat
  • ExtendedType(x): Elt → ECat
  • ExtendedCategory(x): Elt → ECat
  • ISA(T, U): Cat, Cat → BoolElt
  • ISA(T, U): Cat, ECat → BoolElt
  • ISA(T, U): ECat, Cat → BoolElt
  • ISA(T, U): ECat, ECat → BoolElt
  • BaseType(T): ECat → Cat
  • # T: ECat → RngIntElt
  • T[i]: ECat, RngIntElt → .
  • Example: Extended Type Accessors
  • MakeType(S): MonStgElt → Cat
  • ElementType(S): Str → Cat
  • CoveringStructure(S, T): Str, Str → Str
  • ExistsCoveringStructure(S, T): Str, Str → BoolElt, Str
  • Example: Type Structures
• Random Object Generation
  • SetSeed(s, c): RngIntElt, RngIntElt
  • SetSeed(s): RngIntElt
  • GetSeed() → RngIntElt, RngIntElt
  • Random(S): Str → Elt
  • Random(a, b): RngIntElt, RngIntElt → RngIntElt
  • Random(b): RngIntElt → RngIntElt
  • Example: Is Intrinsic
• Miscellaneous
  • IsIntrinsic(S): MonStgElt → Bool, Intrinsic
  • Example: Is Intrinsic