I really like how Standard ML handles this with functors [1] (hence my nickname). In SML, a piece of code depends on interfaces, and exposes an interface of it

I really like how Standard ML handles this with functors [1] (hence my nickname). In SML, a piece of code depends on interfaces, and exposes an interface of it's own. Functors bind together pieces of code with appropriately matching interfaces. [1]: https://smlhelp.github.io/book/concepts/functors.html https://smlhelp.github.io/book/concepts/functors.html