Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Typed Clojure, an optional type system for Clojure
2020-02-20T05:33:35.156500Z
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
2020-02-20T05:36:24.157Z
started playing around with spec2 and it's really exciting
2020-02-20T05:37:00.157800Z
might even make sense to use its syntax for types if I can figure out a reasonable story for generating tests for polymorphic functions
2020-02-20T05:38:04.158800Z
it's mostly there, I can write a dependent type in spec2, but having some trouble with generators
2020-02-20T05:38:38.159500Z
that would be super awesome, if typed clojure types automatically compiled (or were exactly) specs
2020-02-20T05:39:05.160Z
it would only make sense if you could conform polymorphic types tho
2020-02-20T05:39:51.160800Z
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.
2020-02-20T08:26:45.161700Z
Sounds great Ambrose!
zilti 2020-02-20T11:19:43.162600Z
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?