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..