Tool Assisted spec Development
recording made private on YouTubehttps://youtu.be/kcZVkvO1Dpo
summary
A tool instruments namespaces, records runtime observations, and generates clojure.spec fdefs and aliases automatically; it ships as a Leiningen plugin and a REPL API. Applied to projects like clojure-time and ring-util-codec, it rewrites top-level functions, emits multi-specs and shared map aliases, and even uncovers uncovered paths (11 failing assertions in one run). Limitations include lost keyword-arg/rest arities, over-specific singleton collection specs from sparse tests, and merged arity info when only a few call shapes are observed.
AI-written summary · about
related talks
38mLiving with Spec
40mAgility & Robustness: Clojure spec
40mRunning With Scissors: Live Coding With Data
40mProgramming Clojure, Smalltalk-Style
25mspec-driven development
37mSpec Driven Development: AI Assisted Coding With Doc at the Core
36mPlan, Specify, and Implement
36mTypeCheck Effortless Runtime Type Checking