Comment

I think there’s room for a rust-lite language that is GCed. Something with a functional-style type system and that compiles to machine code.

Roc is a candidate for this language. Basically Elm that compiles to machine code, but with a number of tweaks to make it work for more than just a web front end. Like Elm, the type system is haskell like, but simplified.

source

Sort:hotnew top

balder1991@lemmy.world ⁨2⁩ ⁨weeks⁩ ago
There’s already Swift, which isn’t garbage collected, but the ref. counting does the same in practice.

The only problem with Rust and Swift, Kotlin etc. in my opinion is that they keep growing and getting more complex with no signs of stopping.

source
sugar_in_your_tea@sh.itjust.works ⁨2⁩ ⁨weeks⁩ ago
Sounds kinda like Go. It’s not functional, but functional patterns work well there.

It’s not great for FE though.

source
- pr06lefs@lemmy.ml ⁨2⁩ ⁨weeks⁩ ago
  What’s FE?
  
  source
  - sugar_in_your_tea@sh.itjust.works ⁨2⁩ ⁨weeks⁩ ago
    Front end
    
    source
solrize@lemmy.world ⁨2⁩ ⁨weeks⁩ ago
Thanks, Roc sounds interesting. Ocaml also maps more closely to machine operations than Haskell does, so it has always seemed like another alternative. AMD has something called ROCm which is their version of CUDA, but I assume that is unrelated.

source