I implemented the Nimble type inference algorithm from Henry Baker's old Common Lisp paper in Clojure awhile back for #reasons. It's based on lattice/algebraic data flow (Kaplan-Ullman) rather than logical unification (Milner), and works well to calculate type specialization while compiling dynamic languages:
https://www.plover.com/misc/hbaker-archive/TInference.html
Yesterday I added a simple C generator to make something like Pre-Scheme <https://prescheme.org> for #Clojure…
Human Driven Development in the age of Agents? I have written about my tools of choice for Agentic Engineering today. The main one is from the seventies. 👴
https://davidvujic.blogspot.com/2026/03/the-tools-of-an-agentic-engineer.html
Shared-memory persistent data structures for ClojureScript and Clojure
Shared-memory persistent data structures for ClojureScript and Clojure
Tämmöinen tuli kans opeteltua taas uudelleen, kun nämä datamuuntelukirjastot on monesti semmoisia että ne viritellään kerran ja unohdetaan.
Eli Metosinin Malli-kirjastolla saa kuin saakin tuommoisen json-möykyn muunnettua sovellusksen sisusten odottamaan muotoon esim tuolla malli.core/decode -funktiolla.
En tiedä onko tuo täysin oikea tapa, mutta päästi minut kokeilemaan niitä sisuksia testidatalla ilman, että tarvi mennä HTTP-käsittelyn läpi.
Learn Ring - 1. Why this Course?