And there is a super power to it.

It's possible to write the whole system only by defining the types.

The "glue" can be sloppy but as long as it keeps on the edges the output is most often fine.

Recently I'm on the fence about Rust vs OCaml (but plan to write about it soon) because I have ~700k LoC in Rust but my workflow starts to get seriously dragged down by compilation/tests in isolated worktrees.

I recently also dab with Gluon (as embeddable type safe scripting) and rule-based-development for maximum code control/agents output leverage.

OCaml is really good.