610
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 24 Nov 2025
610 points (89.2% liked)
Programmer Humor
33426 readers
2350 users here now
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Rules
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
- If the mod doesn't find it funny, you're banned. Ha-ha!... For real: do not use the community for "statements". There are other places for such content. Keep it chill and funny.
founded 3 years ago
MODERATORS
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.
Fully agree.
I hear good things about OCaml? Anyone tried that?
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
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.
I think ghcup is the simplest way
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.