Well, who says a programming language cannot provide a framework for DSL libraries? I like that iteration constructs, for example, can be implemented simply as

Well, who says a programming language cannot provide a framework for DSL libraries? I like that iteration constructs, for example, can be implemented simply as higher-order functions. This way, the compiler already knows how to deal with them and does not require additional definitions regarding parsing or code generation.