Tag
Jimmy Miller argues that programming languages should be customizable per-codebase, pushing back against longstanding criticisms of macros and language-modification tools like Raymond Chen's rant against flow-control macros, claiming these arguments no longer hold up in modern software development.
An essay celebrating the beauty of Emacs Lisp macros and homoiconicity, drawing parallels with Hofstadter's strange loops and Escher's art, and introducing tooling like macrostep to explore macros.
This chapter from 'Let Over Lambda' explores implementing the Forth programming language in Lisp using macros, emphasizing duality of syntax and meta-programming techniques. It aims to teach Forth concepts to a Lisp audience and discuss the philosophy behind Forth's design.
Rhombus is a new programming language that combines Racket's powerful metaprogramming capabilities with a Python-like syntax, released as version 1.0 and supported by the Racket Programming Language Foundation.
A Lisp interpreter embedded in Rust's trait system, allowing recursive functions, closures, and continuation passing style at compile time.
This paper evaluates six frontier coding agents on esoteric programming languages and finds that stronger agents use metaprogramming—writing Python programs to generate and debug code in the unfamiliar target language. Forbidding this strategy causes large performance drops, while providing Python helper code improves weaker agents.
A curated list of Lean 4 books for learning the theorem prover, covering functional programming, metaprogramming, and logical verification, with opinions on each resource.