元编程算法 DSL 宏编程 自然语义 形而上学编程 哲学(易经) 延迟求值,惰性编程