undefined | Better HN

I'm not sure what you mean by "usable abstractions" and tagged unions are a little verbose because they are defined in terms of closed sets of subtypes, but otherwise Dart has all of those.

1 more reply

strobe8mo ago

Scala but it's on JVM (also is https://scala-native.org without JVM but that not really has big user base)

cultofmetatron8mo ago

nim, zig and ocaml come to mind

j / k navigate · click thread line to collapse

0 comments

7 comments · 2 top-level

procaryote8mo ago· 5 in thread

it depends completely on what you put in "modern features"

tayo42OP8mo ago

Pattern matching, usable abstractions, non null types, tagged unions or w/e enums are, build tools etc

pjmlp8mo ago

Standard ML from 1983, alongside all those influenced by it like Haskell, OCaml, Agda, Rocq,....

1 more reply

procaryote8mo ago

This sounds more like "this is what I like in rust" than "features any modern language should have" though

If you like rust, use rust. It's very likely the best rust

2 more replies

munificent8mo ago

I'm not sure what you mean by "usable abstractions" and tagged unions are a little verbose because they are defined in terms of closed sets of subtypes, but otherwise Dart has all of those.

1 more reply

strobe8mo ago

Scala but it's on JVM (also is https://scala-native.org without JVM but that not really has big user base)

cultofmetatron8mo ago

nim, zig and ocaml come to mind

j / k navigate · click thread line to collapse