4 ms·
Yeah I my argument is that those tools are ok but a bit inadequate. Certainly not first class solutions. It’s just a thought, I’m not sure it would open up a wo
by jbjbjbjb 5y ago
Yeah I my argument is that those tools are ok but a bit inadequate. Certainly not first class solutions. It’s just a thought, I’m not sure it would open up a world of possibilities but there could be more rigorous ways on showing how the logic has changed over time and keeping that alongside the current state of the logic.
- dgb23 5y agoYou 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