[chris_armstrong]

This resonates. I spent a fair bit of time thinking about library design for an OCaml library that didn’t directly expose more complicated language features (like functors and first class modules) where they weren’t needed.

(I presented on it recently: https://www.chrisarmstrong.dev/posts/icfp-wrapup-2025-10-18)

[chris_armstrong]

I also find languages like OCaml avoid a lot of this nonsense in their libraries because the ability to build layers and layers of complex abstraction isn’t there in the same way as Haskell, Rust, or any of the LISPs