319
you are viewing a single comment's thread
view the rest of the comments
[-] pr06lefs@lemmy.ml 3 points 5 days ago

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.

[-] balder1991@lemmy.world 5 points 5 days 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.

Sounds kinda like Go. It's not functional, but functional patterns work well there.

It's not great for FE though.

[-] solrize@lemmy.world 1 points 5 days 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.

this post was submitted on 16 Feb 2025
319 points (100.0% liked)

Technology

63009 readers
3139 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related content.
  3. Be excellent to each other!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, to ask if your bot can be added please contact us.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots


founded 2 years ago
MODERATORS