Hacker News new | ask | show | jobs
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.
1 comments

Is there a documentation about the type system somewhere?