Language specification

This chapter covers the following topics:

Lexical structure

• Basic syntax
  • code comments
  • whitespace
  • splitting lines using |

Type system

• Data types
  • primitive types: byte, pair, int, bool
  • type aliases using type
  • function pointers
• String literals
• Arrays: fixed-size, variable-size

Execution model

• Variables: local variables, func parameters, module members, class members
• Functions: module functions, class functions, assembly functions (chombit and intrinsic)
• Statements: assignment, function call, return, loop/drop/lift, if, break
• Expressions: literal values, operators, function-like operators such as to_byte(x)

Scopes

• Modules
• Classes: member functions, inheritance, class operators (as and class_id())

Memory management

• Data blocks
• Storage directives: located at, inset, Caret types