Hacker News new | ask | show | jobs
by naasking 3688 days ago
> You basically get SML.

SML is still more usable than the statically type languages in use the most today (C++ and Java).

1 comments

Yes, but by "modern static typing" I think we're talking about the latest generation of languages that have come out since 2010 (Swift, Rust, Kotlin, etc.)