The feature in OxCaml that more languages should steal
OxCaml is a proposed successor to OCaml that introduces features like effect handlers, layout polymorphism, and first-class modules. The article argues these innovations improve composability and safety, and suggests other mainstream languages should adopt similar concepts to modernize their type systems.