Spectrum, a library for statically "typing" clojure.spec

on YouTube ↗46m

" summary

Spectrum is a prototype static “typing” library that type-checks clojure.spec at compile time, built from a pipeline: conform tools.analyzer flow check. It walks analyzed forms, attaches return specs, and uses pluggable “Transformer” hooks to reason about map, higher-order functions and branch predicates. It catches real bugs (the project type-checks itself) but produces false positives, is viral if not adopted widely, slows development during adoption, and is not yet recommended for production.

AI-written summary · about

" chapters (4)

1. 0:00Start
2. 10:38CORRECTNESS REQUIREMENTS CHANGE OVER TIME
3. 17:07COMPILING OFTEN COMPLECTS PERFORMANCE AND CORRECTNESS
4. 18:47PROBLEMS W/ JAVA TYPING • Java's type system is more concerned with performance than correctness.

" related talks

• 41mTyped ClojureAmbrose Bonnaire-Sergeant · Clojure/conj 2012
• 39mRobust APIs with clojure.spec & GraphQLDom Kiva-Meyer, Lily M. Goh · Clojure/conj 2018
• 42mTyped Clojure in PracticeAmbrose Bonnaire-Sergeant · Strange Loop 2014
• 36mBare Metal Clojure with clojure.SpecMichael Reitzenstein · EuroClojure 2016
• 20mAutomatic and Incremental Repair for Speculative Information LeaksSwen Jacobs, Joachim Bard, Yakir Vizel · VMCAI 2024
• 24mBuilding Intelligible SystemsAlys Brooks · :clojureD 2022
• 33mTyped Clojure: From Optional to Gradual TypingAmbrose Bonnaire-Sergeant · Strange Loop 2015
• 17mCode-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into(…)Benjamin C. Pierce, Zain K Aamer, Rini Banerjee, Hiroyuki Katsura, David Kaloper-Meršinjak, Dimitrios J. Economou, Kayvan Memarian, Dhruv C. Makwana, Neel Krishnaswami, Christopher Pulte, Peter Sewell · PLDI 2026