Static typing

[Hoxmot]

Once the interpreter can read the code, I should add a static analysis of types in the program.

For now, I don't have to implement and take into consideration transactions, I guess.

After the validation, I should print the tree to the console or pass it for further processing.

• Static typing of basic types #23
  • Unit
  • Integer
  • Boolean
• Static typing: Variables #28
  • Variable declaration
  • Variable call
• Static typing: List #71
• Static typing: when statement #34
• Static typing: if statement #37
• Static typing: while loop #38
• Static typing: function declaration #60
• Static typing: function call #39
• Static typing: function as an argument (faaa) #61
• Static typing: Lambdas #62
• Static typing: Partial function application #63
• Static typing: Same state operation (sso) #72
• Polymorphism
• Transaction
• Static typing: varargs #88
• Static typing: print #84