Fork me on GitHub
#core-typed
<
2020-04-01
>
jeroenvandijk16:04:46

The new additions look really cool 🙂

ambrosebs21:04:17

yea, feel free to circulate 🙂 interested to see what people do with it

sparkofreason23:04:46

This looks really cool, may be the thing that gets me to start using core.typed...

ambrosebs13:04:40

@U066LQXPZ 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

ambrosebs13:04:03

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)