Lisp in the Rust Type System
Summary
The article describes a Lisp-like language implemented within Rust's type system. It outlines features such as recursive functions, environments, function calls, apply, and call/ec, and notes limitations including manual symbol declarations, non-negative numbers, a 0..8192 range, no macros, and no eval. The project serves as a case study in embedding DSLs in Rust and can fuel content on language design, trait-based DSLs, and advanced Rust techniques.