• pr06lefs@lemmy.ml
    link
    fedilink
    English
    arrow-up
    3
    ·
    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.

    • Balder@lemmy.world
      link
      fedilink
      English
      arrow-up
      5
      ·
      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.

    • solrize@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      ·
      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.