[[TOC]][[BackLinksMenu]]
= Base Ideas =
== (1) [wiki:NameSpaces Namespaces] ==
== (1.1) [wiki:DataTypes Data Types] ==
== (2) [wiki:TypeDefinition Types] ==
== (3) [wiki:EnumDefinition Enums] ==
== (4) [wiki:SignalDefinition Signals] ==
== (5) [wiki:SingletonDefinition Singletons] ==
== (6) [wiki:ClassDefinition Classes] ==
== (6.1) [wiki:FiniteStateMachines Finite State Machines] ==
== (7) [wiki:ExpressionSyntax Expression Syntax] ==
== (7.1) [wiki:WhatAboutIdentifiers What about identifiers (Expression Syntax) ?] ==
== (7.2) [wiki:CompileTimeTypeChecking Compile Time Type Checking] ==
== (8) [wiki:compoundStatementsLlambdas Lambda Statements (Compound Statements)] ==
A compound statement is an ordered list of statements.
The simplest statement is the expression.
Some statements can only be performed from within a FSM.

{{{
statementClause := 
    (   expression                // x := 23
    |   ifStatementClause         // IF boolExpression lambda { "ELSE" lambda }
    |   forStatementClause        // EACH ident IN enumerableCollection lambda
    |   switchStatementClause     // SWITCH expression { CASE expression { "," expression }* lambda }+ ELSE lambda
    |   subscribeStatementClause  // SUBSCRIBE TO signalIdent { WHEN booleanExpression }
    |   sendStatementClause       // SEND signal TO expression
    |   returnStatementClause     // RETURN expression
    |   transitionStatementClause // TRANS STATE TO ident ( state expression )
    ) ;
}}}