Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Typed Clojure, an optional type system for Clojure
2020-06-18T00:48:57.038200Z
I learnt today at work that the identity transducer is identity . Got me thinking how we might type check (ann-form identity (All [x] (Transducer x x)). I think my previous work on symbolic closures might help.
2020-06-18T00:50:21.038800Z
there's some fun examples of symbolic closures + transducers in my test repo eg., https://github.com/frenchy64/lti-model/blob/babc1b8c9b7298bb6102b3f7f78365b39327d833/test/lti_model/core_test.clj#L913-L915
2020-06-18T00:51:31.039100Z
man there are some crazy experiments in that repo