Comment on Understanding Clojure Transducers Through TypesComments−kvb12ySeems like parametricity ensures that Transducer a b is isomorphic to b -> [a] Am I missing something?−tel12yNope—https://news.ycombinator.com/item?id=8160327
Comments
Seems like parametricity ensures that
is isomorphic to Am I missing something?Nope—https://news.ycombinator.com/item?id=8160327