Clojurians Log v2

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

absolutely no pressure to herd people over (I'll still be active here) but if you want to have more in depth conversations about typed clojure, I just set up a zuplipchat channel that has unlimited history. makes a big difference for me at least https://clojurians.zulipchat.com/#narrow/stream/231516-typedclojure

@ambrosebs The history of this channel is available on Zulip as well: https://clojurians.zulipchat.com/#narrow/stream/180378-slack-archive/topic/core-typed

Anyone saw this: https://pnwamk.github.io/sst-tutorial/

Your latest blog post about set theoritic types got me interested, had never heard of it.

Seems the research around it is quite recent as well