• sip@programming.dev
    link
    fedilink
    arrow-up
    3
    ·
    14 hours ago

    i wish a more performing language would have this type system. the only other ones I know are Rust which is a bit strict and slow to dev on, and Haskell which is too much.

      • sip@programming.dev
        link
        fedilink
        arrow-up
        1
        ·
        edit-2
        14 hours ago

        I asked chatgpt for a few languages with a good typesystem and it suggested ocaml among other (scala, rust, haskell, f#)

        Then asked for a 100 line ocaml REST API example with a popular framework and db lib… and it looks mostly like Haskell.

        edit: async is done with monads

        • Victor@lemmy.world
          link
          fedilink
          arrow-up
          1
          ·
          13 hours ago

          If it looks mostly like Haskell but has better tooling, I’m in. I have yet to manage to successfully set up a Haskell environment on my own PC. 😅 I am obviously missing something.