You might find Unison[0] interesting. Or the more recent developments (or intents) of Clojure spec[1] and the talk Speculation[2]. [0] https://www.unisonweb.or

You might find Unison[0] interesting. Or the more recent developments (or intents) of Clojure spec[1] and the talk Speculation[2]. [0] https://www.unisonweb.org/ https://www.unisonweb.org/ [1] https://github.com/clojure/spec-alpha2 https://github.com/clojure/spec-alpha2 [2] https://www.youtube.com/watch?v=oyLBGkS5ICk https://www.youtube.com/watch?v=oyLBGkS5ICk