4 ms·
Yes, it does have variant types and pattern matching, and an option type in the standard library, just like ML. Contrary to ML, it doesn't require variables to
by effn 16y ago
Yes, it does have variant types and pattern matching, and an option type in the standard library, just like ML.
Contrary to ML, it doesn't require variables to be initialized when declared. The typestate system checks (statically) that they are not referenced before initialized.
- thesz 16y ago>Contrary to ML, it doesn't require variables to be initialized when declared. The typestate system checks (statically) that they are not referenced before initialized. What's the point, then?