Clojurians Log v2
Clojure programming
Channels
Apps
core-typed 2020-04-01
@ambrosebs Thank you for the updates! (https://opencollective.com/typedclojure#section-updates)
The new additions look really cool 🙂
yea, feel free to circulate 🙂 interested to see what people do with it
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...
@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
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)