SYNTAX.md

Syntax

statement

• Statement
  • ExpressionStatement; | LetStatement | MutStatement | TypeStatement | DeclareStatement | StructStatement | ReturnStatement | ReturnExpressionStatement

LetStatement

• LetStatement
  • let¹ Identifier: Type²³ = Expression;

MutStatement

• MutStatement
  • mut¹ Identifier: Type²³ = Expression;

TypeStatement

• TypeStatement
  • type¹ Identifier Generics³ = Type²;

DeclareStatement

• DeclareStatement
  • declare¹ Identifier = Type²;

ReturnStatement

• ReturnStatement
  • return¹ Expression;

ReturnExpressionStatement

• ReturnExpressionStatement
  • Expression

---

expression

• Expression
  • ( Expression )
  • AssignmentExpression
  • BlockExpression
  • InfixOperator
  • PrefixOperator
  • IfExpression
  • CallExpression
  • IndexExpression
  • Literal

AssignmentExpression

• AssignmentExpression
  • Identifier⁴ = Expression

BlockExpression

• BlockExpression
  • { Statement }

InfixOperator

• Expression InfixOperator⁵ Expression
  • + | - | * | / | % | == | != | > | < | >= | <=

PrefixOperator

• PrefixOperator⁵ Expression
  • ! | -

IfExpression

• IfExpression
  • if¹ Expression BlockExpression ElseClause³

ElseClause

• ElseClause
  • else¹ BlockExpression
  • else¹ IfExpression

CallExpression

• CallExpression
  • Expression ( Arguments⁶ )

IndexExpression

• IndexExpression
  • Expression [ Expression ]

TypeofExpression

• TypeofExpression
  • typeof¹ Expression

Literal

• Literal
  • Identifier⁴
  • NumberLiteral
  • StringLiteral
  • BooleanLiteral
  • ArrayLiteral
  • FunctionLiteral
  • StructLiteral

Identifier

• Identifier
  • a-z A-Z 0-9 _

NumberLiteral

• NumberLiteral
  • 0-9 .

StringLiteral

• StringLiteral
  • " string "

BooleanLiteral

• BooleanLiteral
  • true | false

ArrayLiteral

• ArrayLiteral
  • [ Expression⁶ ]

FunctionLiteral

• fn¹ Generics³ ( FunctionParameters⁶ ) -> ReturnType² FunctionBlock

FunctionParameters

• FunctionParameter
  • ParameterName⁴: ParameterType²

FunctionBlock

• FunctionBlock
  • -> Expression;
  • { Statements⁶ }

StructLiteral

• StructLiteral
  • struct¹ StructName⁴ { StructLiteralFields⁶ }

StructLiteralFields

• StructLiteralField
  • FieldName⁴: FieldValue

---

Types

Primitive Types

• PrimitiveType
  • number | string | boolean | void

Sequence Types

• SequenceType
  • ArrayType | FunctionType

ArrayType

• ArrayType
  • PrimitiveType[ ]

FunctionType

• FunctionType
  • fn ¹ ( ParameterType²⁶ ) -> ReturnType²

User Defined Types

• UserDefinedType
  • StructType

StructType (StructStatement)

• StructType (StructStatement)
  • struct Identifier⁴ Generics³ { StructFields⁶ }

StructFields

• StructField
  • FieldName⁴: FieldType²

Generics

• GenericName⁴ < GenericParameters⁴⁶ >

---

Comments

Single Line Comments

• // Comment

Multi Line Comments

• /* Comment */

---

Priorities

n	Priority	Operators
1	Lowest
2	Dot	. ->
3	Equals	= == !=
4	LessGreater	< > <= >=
5	Sum	+ -
6	Product	* /
7	Prefix	! -
8	Call	( )
9	Index	[ ]

Footnotes

1. keyword ↩ ↩² ↩³ ↩⁴ ↩⁵ ↩⁶ ↩⁷ ↩⁸ ↩⁹ ↩¹⁰ ↩¹¹ ↩¹²

2. type ↩ ↩² ↩³ ↩⁴ ↩⁵ ↩⁶ ↩⁷ ↩⁸ ↩⁹

3. optional ↩ ↩² ↩³ ↩⁴ ↩⁵ ↩⁶

4. identifier ↩ ↩² ↩³ ↩⁴ ↩⁵ ↩⁶ ↩⁷ ↩⁸ ↩⁹

5. operator ↩ ↩²

6. repeatable (ends with comma (,)) (can be empty) ↩ ↩² ↩³ ↩⁴ ↩⁵ ↩⁶ ↩⁷ ↩⁸