On: A Modern Compiler for the French Tax Code

[hirundo]

Modern computer languages are DSLs for writing DSLs, which you do by defining public domain specific classes, methods, modules, etc. A library for computing PI is a PI DSL.

At least, that's the right way to name things in code.

[throwaway_pdp09 → hirundo]

That's really stretching the concept of a DSL, but at an extreme it can be seen that way. What you're really describing is hierarchical structure.