A good place to start would be to build a type system which can check the types of built-in types of the language.
This can be built upon in further iterations.
Description of potential implementation
We can make a type system that checks the types of:
Bool
Int
Float
String
Any
Maybe
Set
List
Range
AnonymousFunction<List, Type>
Type
Maybe
A next step would be to do an analysis of classes so we can start analysing variables if they are user-defined classes (i.e. look at return types of functions).
Current Issue
There is no type system
High-level description of the feature
A good place to start would be to build a type system which can check the types of built-in types of the language. This can be built upon in further iterations.
Description of potential implementation
We can make a type system that checks the types of:
A next step would be to do an analysis of classes so we can start analysing variables if they are user-defined classes (i.e. look at return types of functions).