Thanks for your reply. BTW do you miss traits/typeclasses in OCaml ? They seem to make code look so elegant/consistent in Haskell/Rust ! Some people actually don’t miss them – I’m wondering if that was your experience too.
1 Like
I learned Rust after knowing OCaml already, and I actually do miss traits. Not sure about the power of all typeclasses, since they aren’t implemented in Rust, and actually would be a nice addition in some scenarios, but those are pretty rare (there is GitHub - bodil/higher: Your favourite Haskell type classes for Rust but it’s pretty basic and should have been in Rust out of the box). Having traits in OCaml in some way or another would be a blast. Found traits 0.1.0 (latest) · OCaml Package but it’s still very far from what we have in Rust.
3 Likes
I’m a Haskell refugee - actually I retired after my last gig with about seven years of full time Haskell in total at the end; before that, you name it. I did common-lisp as a contractor back when you needed a warm jacket in the AI world. More recently the usual suspects, Java, python of course c++ and c. The thing is I was kind of burned out and didn’t do much programming for a couple of years after retiring - I always thought ghc was becoming a write only language - as indeed many modern tools seem to be. I bounced off Rust as I really didn’t think the reality lived up to the hype, I mean after Haskell. So I went back to pure maths and latex and Agda of course. I didn’t like Lean’s type theory and explicit eliminators for some reason, call it aesthetics. Then I discovered OCaml and wondered what life would have been like if only I’d been doing this for the last forty years. Clean, expressive - at last I can even read and understand other people’s code… let’s keep it that way, we’ve got modules and who needs overloaded operator soup? So I’m writing DSL’s following Oleg and having some fun programming again (and waiting for the next proof assistant to appear).
7 Likes
I have the same sentiment too.
The expressiveness and readability is really exceptional.
Immediately I was exposed to it, and discovered how readable it was and intuitive to my brain.
I need I have to commit more hours to it.
1 Like