Related reading
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
This seminal 1960 paper by John McCarthy introduces LISP, a programming system for symbolic expression manipulation. It formalizes recursive functions using S-expressions, S-functions, and the novel concept of conditional expressions, laying the groundwork for functional programming.
Hall of Famestanford.edu43 minpaperHN41Article: Your Next DSL Author Is a Language Model
Typed Domain Grounding (TDG) embeds a DSL inside a mainstream language the LLM already knows (e.g., Kotlin) and uses the host compiler as an oracle. The author describes five building blocks—embedding, choosing a host language with high training‑data frequency, compiler‑driven type safety, a generate‑compile‑repair loop, and an on‑demand teaching tool—and shows measured results from kUML, a Kotli…
InfoQinfoq.com18 min
