start.md

The language is composed of types, literals and statements. Types are a definition of what a literal can be.

Literals are:

- Number
- String
- Function body with prototype
- Reference to variable
- Initialized template
- Comment

Statements are composed of:

<name> [( [Text] )];
<name> [( [Text] )] <FunctionBody>

<Expression> [( [<Expression>,...] )];

<name> [<ExpressionOperator>]= <Expression>;

Expression

[(] <name> [)]
[(] <Expression> <ExpressionOperator> <Expression> [)]

ExpressionOperator

.
+
-
*
/
~
<<
>>
^
%
^^

Functions are defined as:

<return type> [name] ([<Type> <name>,...]) [Template] <FunctionBody>

and Function Bodies:

{

	<Type> <name> [ = <Literal>];
	
	<Type>
		<name> [ = <literal>],
		<name> [ = <literal>];
	
	<Function body>
	
	<Statement>
}

Unitialized templates can be placed upon function literals.

<!> [( TemplateArg,... )] [ if (<Expression>,...) ]

and TemplateArg:

<Type>
<TypeSpecialization2>
<Type> = <Type> [ : <Type> ]

Type specialization:

is( <TypeSpecialization2> )

and TypeSpecialization2 is:

<Type> : <Type>