Why I chose OCaml as my primary language
OCamlâs grown up. Multicore support is in. So are user-defined effects. Under the hood, affine types, staged metaprogramming, and effect typing are steering it toward resource-safe programmingâwith actual thrust. Its type system still slaps: powerful modules, GADTs, algebraic types, and now first-c..