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-class effects driving a cleaner, more expressive core. Good for research. Sharp enough for industry.
