Notable changes in Tolk v0.7
- Under the hood: refactor and revamp compiler internals. AST-level semantic analysis kernel
- Under the hood: rewrite the type system from Hindley-Milner to static typing
- Clear and readable error messages on type mismatch
- Generic functions
fun f<T>(...)and instantiations likef<int>(...) - The
booltype - Type casting via
value as T
The documentation and IDE plugins have been updated accordingly (see related pull requests below).