Fork me on GitHub
#clojure-spec
<
2019-09-20
>
vlaaad05:09:32

Well, it's not like a type systems of today :)

andy.fingerhut17:09:53

Well, the full generality of spec allows arbitrary code in predicates, so it is in general computationally undecidable to statically check that a program meets such a general spec.

andy.fingerhut17:09:21

spec has been designed with run-time checking (and generation, etc.) in mind, not trying to limit itself to what can be statically checked, although subsets of it can be: https://github.com/arohner/spectrum

seancorfield20:09:04

Because folks keep asking about our "coercing specs" at work, we just open-sourced them https://github.com/worldsingles/web-specs worldsingles/web-specs {:mvn/version "0.1.0"}

👍 12
dominicm05:09:07

Any regrets using conformers?

seancorfield05:09:24

Nope, none at all. I originally submitted a talk to Conj about it (and it was accepted) but I pulled it because Alex was so "anti" the whole conformer thing. That was years ago. But I still think we made the right decision and I'd stand by it every day.

jumar07:09:25

Awesome, thanks for that.