2 ms·

I wonder if there could be any opportunity to integrate this more with Spec. There seems to be at least some overlap between Typed Clojure and Spec. I could ima

by hencq 8y ago

I wonder if there could be any opportunity to integrate this more with Spec. There seems to be at least some overlap between Typed Clojure and Spec. I could imagine that it would be cool if you could annotate your functions using one way and have some specs be validated statically.

mark_h 8y ago
Related but in the opposite direction, static checking of specs: https://github.com/arohner/spectrum https://github.com/arohner/spectrum (I haven't tried it personally)