Fork me on GitHub
#core-typed
<
2020-02-20
>
ambrosebs05:02:35

considering leaving core.typed 1.0.0 as the stable contrib version and maintaining that as needed, and starting typed clojure 2.0 outside of contrib with all my other ideas

ambrosebs05:02:24

started playing around with spec2 and it's really exciting

ambrosebs05:02:00

might even make sense to use its syntax for types if I can figure out a reasonable story for generating tests for polymorphic functions

ambrosebs05:02:04

it's mostly there, I can write a dependent type in spec2, but having some trouble with generators

ambrosebs05:02:38

that would be super awesome, if typed clojure types automatically compiled (or were exactly) specs

ambrosebs05:02:05

it would only make sense if you could conform polymorphic types tho

ambrosebs05:02:51

RH said he was thinking about polymorphic specs when I chatted to him at clojure conj. I figured out a way of doing it in spec2.

👍 4
jeroenvandijk08:02:45

Sounds great Ambrose!

🙂 8
zilti11:02:43

Ooh that sounds exciting! > I figured out a way of doing it in spec2. Is spec2 intended to allow this, or did you "bend it to your will" with some trickery?