News for hackers. Stuff that matters.

A comment on A 10x Faster TypeScript. Parent comment

Re:A 10x Faster TypeScript by ninetyninenine on Tuesday March 11, 2025 @12:22PM (#43334067)
I wish there was a language like rust without the borrow checking and lifetimes that was also popular and lives in the same area as go. Because I think go is actually the best language in this category but it’s only the best because there is nothing else. All in all golang is not an elegant language.
[ Parent | on HN ]
Re:A 10x Faster TypeScript by noelwelsh on Tuesday March 11, 2025 @12:33PM (#43334193)
O'Caml is similar, now that it has multicore. Scala is also similar, though the native code side (https://scala-native.org/en/stable/) is not nearly as well developed as the JVM side.
[ Parent | on HN ]
Re:A 10x Faster TypeScript by ninetyninenine on Tuesday March 11, 2025 @01:49PM (#43335145)
The problem with O'Caml is it won't get popular because people are afraid of FP. But I would be totally down to use it.
[ Parent | on HN ]
Re:A 10x Faster TypeScript by sapiogram on Tuesday March 11, 2025 @12:25PM (#43334104)
Rust loses a lot of its nice properties without borrow checking and lifetimes, though. For example, resources no longer get cleaned up automatically, and the compiler no longer protects you against data races. Which in turn makes the entire language memory unsafe.
[ Parent | on HN ]
Re:A 10x Faster TypeScript by SkiFire13 on Tuesday March 11, 2025 @12:32PM (#43334185)
I believe OP meant to give it a GC like in Go, while keeping other features from Rust from enums/match/generics/traits/etc etc.

This should prevent most of the memory safety issues, though data races could still be tricky (e.g. Go is memory unsafe due to data races)

[ Parent | on HN ]
Re:A 10x Faster TypeScript by throw-the-towel on Tuesday March 11, 2025 @12:27PM (#43334129)
OTOH it would still have Rust's sane type system and all the nice features it makes possible.
[ Parent | on HN ]
Re:A 10x Faster TypeScript by nine_k on Tuesday March 11, 2025 @01:36PM (#43334988)
OCaml and Haskell already have that nice type system (and even more nice). If OCaml's syntax bothers you, there is Reason [1] which is a different frontend to the same compiler suite.

Also in this space is Gleam [2] which targets Erlang / OTP, if high concurrency and fault tolerance is your cup of tea.

[1]: https://reasonml.github.io/

[2]: https://gleam.run/

[ Parent | on HN ]
Re:A 10x Faster TypeScript by duped on Tuesday March 11, 2025 @12:49PM (#43334425)
That language is Rust, though.
[ Parent | on HN ]
Re:A 10x Faster TypeScript by michaelsbradley on Tuesday March 11, 2025 @12:26PM (#43334118)
It’s not popular compared to Go/Rust, but many find Nim scratches that itch:

https://nim-lang.org/

[ Parent | on HN ]
Re:A 10x Faster TypeScript by pclmulqdq on Tuesday March 11, 2025 @12:52PM (#43334473)
Zig is another popular neo-language in the same rough space.
[ Parent | on HN ]