• sip@programming.dev
    link
    fedilink
    arrow-up
    3
    ·
    1 day 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
        ·
        1 day 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
          ·
          1 day 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.

          • sip@programming.dev
            link
            fedilink
            arrow-up
            1
            ·
            16 hours ago

            I used it either through my distro’s package or using stack install. there’s also cabal install, but that doesn’t install the compiler, at least not in 2017 when I played with it.