Im my experience OCaml has the best modularity abstractions out there. OCaml modules are unique since they allow you to work with blocks of code (and types) on

Im my experience OCaml has the best modularity abstractions out there. OCaml modules are unique since they allow you to work with blocks of code (and types) on a higher level. Composing and extending modules, passing modules as parameters to other modules and this way adapting the code to your need. And the nice thing is that all the modules are evaluated at compile-time. Which means you don't have to sacrifice performance for modularity and still get a very flexible framework for Metaprogramming[1]. [1]: https://ocaml.org/learn/tutorials/modules.html#Functors https://ocaml.org/learn/tutorials/modules.html#Functors