7 ms·
What's great about its type system? I find it severely limited and not actually useful for conveying and checking invariants.
by dmytrish 1y ago
What's great about its type system? I find it severely limited and not actually useful for conveying and checking invariants.