undefined | Better HN

0 pointsprocaryote6mo ago0 comments

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

0 comments

tayo426mo ago

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

pjmlp6mo ago

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

lmm6mo ago

Most of those have nothing remotely approaching Rust's level of build tooling.

pjmlp6mo ago

Yet parent was mostly talking about type systems.

If you prefer, Rust tooling is still quite far behind from languages like Kotlin and Scala, which I didn't mention, but also have such type system.

1 more reply

procaryoteOP6mo 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

lmm6mo ago

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

Good build tooling has been around since 2004, and all of the rest of those features have been around since the late 1970s. There's really no excuse for a language not having all of them.

procaryoteOP6mo ago

Every language should have haskell level pattern matching?

1 more reply

antonvs6mo ago

That’s definitely a list of features that any modern language should have. It’s in no way specific to Rust.

munificent6mo 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.

tayo426mo ago

Nothing like "oh you can do that but with this weird work around" or if they're clunky to use

strobe6mo ago

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

j / k navigate · click thread line to collapse

0 comments

tayo426mo ago

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

pjmlp6mo ago

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

lmm6mo ago

Most of those have nothing remotely approaching Rust's level of build tooling.

pjmlp6mo ago

Yet parent was mostly talking about type systems.

If you prefer, Rust tooling is still quite far behind from languages like Kotlin and Scala, which I didn't mention, but also have such type system.

1 more reply

procaryoteOP6mo 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

lmm6mo ago

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

Good build tooling has been around since 2004, and all of the rest of those features have been around since the late 1970s. There's really no excuse for a language not having all of them.

procaryoteOP6mo ago

Every language should have haskell level pattern matching?

1 more reply

antonvs6mo ago

That’s definitely a list of features that any modern language should have. It’s in no way specific to Rust.

munificent6mo 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.

tayo426mo ago

Nothing like "oh you can do that but with this weird work around" or if they're clunky to use

strobe6mo ago

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

j / k navigate · click thread line to collapse