undefined | Better HN

0 pointstayo425mo ago0 comments

What other language has modern features like rust and is compiled?

0 comments

procaryote5mo ago

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

tayo42OP5mo ago

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

pjmlp5mo ago

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

1 more reply

procaryote5mo 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

munificent5mo 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

strobe5mo ago

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

cultofmetatron5mo ago

nim, zig and ocaml come to mind

j / k navigate · click thread line to collapse

0 comments

procaryote5mo ago

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

tayo42OP5mo ago

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

pjmlp5mo ago

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

1 more reply

procaryote5mo 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

munificent5mo 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

strobe5mo ago

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

cultofmetatron5mo ago

nim, zig and ocaml come to mind

j / k navigate · click thread line to collapse