metaprogramming

Jimmy Miller 主张编程语言应能按代码库进行定制，并反驳了长期以来针对宏和语言修改工具的批评——例如 Raymond Chen 对流程控制宏的猛烈抨击——认为这些论点在现代软件开发中已不再成立。

这篇文章颂扬了Emacs Lisp宏和同像性之美，将其与侯世达的怪圈和艾舍尔的艺术相提并论，并介绍了诸如macrostep之类的工具来探索宏。

本章节选自《Let Over Lambda》，探讨如何使用宏在 Lisp 中实现 Forth 编程语言，强调语法的二元性和元编程技术。旨在向 Lisp 读者教授 Forth 概念，并讨论 Forth 设计背后的哲学。

Rhombus是一种新的编程语言，它将Racket强大的元编程能力与类似Python的语法相结合，已发布1.0版本，并由Racket编程语言基金会支持。

一个嵌入在Rust trait系统中的Lisp解释器，支持在编译时进行递归函数、闭包和延续传递风格。

本文在深奥编程语言上评估了六个前沿编程智能体，发现更强的智能体使用元编程——编写Python程序在陌生的目标语言中生成和调试代码。禁止此策略导致性能大幅下降，而提供Python辅助代码则能提升较弱的智能体。

一份精心整理的Lean 4书籍列表，用于学习该定理证明器，涵盖函数式编程、元编程和逻辑验证，并附有对每本资源的评价。