|
|
|
|
|
by eriksvedang
3127 days ago
|
|
Correct, not at the moment. Overall the type system is less expressive but also less dependent on annotations. Differentiating between immutable and mutable refs is probably coming though, it’s a useful distinction for sure. |
|