One Spec, Two Lisps: An Agent in Guile, Then Again in Clojure
Table of Contents
A draft for the proposal shelf. Not submitted anywhere. Status: New, from the review.
1. Pitch
Write the spec, build it in Guile, rebuild it in Clojure from the spec. The findings are where the spec failed to pin the behaviour.
2. Abstract
An agent REPL was written to a spec in Guile and then implemented a second time in Clojure from that spec. The second implementation is a test of the first document. This is a report on what the spec carried, what it left to the implementer, and how the boundaries were restated as generative properties.
3. Audience, format, venue
- Audience
- Spec-driven development and formal-methods-adjacent practitioners; Scheme and Clojure users.
- Format
- 20 to 30 minute experience report, or a workshop paper.
- Where
- A SPLASH workshop on spec-driven lifecycle (SpecOps in 2026), the Scheme Workshop, ELS lightning.
4. Review
Both reviews list it; neither ranks it in the top five. The risk is the parity claim: the second implementation is far younger than the first, and nobody has checked parity. A committee will ask for the divergence list, and that list is the talk.
5. Backing
Public repositories:
Notes on this site: