Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
2020-04-01T16:16:22.000600Z
@ambrosebs Thank you for the updates! (https://opencollective.com/typedclojure#section-updates)
2020-04-01T16:16:46.001200Z
The new additions look really cool 🙂
2020-04-01T21:46:35.001400Z
@jeroenvandijk thanks!
2020-04-01T21:47:17.002100Z
yea, feel free to circulate 🙂 interested to see what people do with it
2020-04-01T21:58:50.002600Z
if anyone missed it, I released typed.clj/spec a few weeks ago https://opencollective.com/typedclojure/updates/typed-clj-spec-a-metalanguage-for-specs
🤘🏼 3
sparkofreason 2020-04-01T23:25:46.002900Z
This looks really cool, may be the thing that gets me to start using core.typed...
2020-04-02T13:11:40.003200Z
@dave.dixon awesome! I feel the same way, this is a valid challenge to the idea that we need static checking at all tbh. I think the answer is the affirmative, but it's a more nuanced use case
2020-04-02T13:14:03.003400Z
I have a few interesting directions to go with the work, including specs for macros & special forms (eg., if returns the then branch if conditional is true) and properties of polymorphic functions (eg., comp is associative)