3 ms·
Seems like parametricity ensures that Transducer a b is isomorphic to b -> [a] Am I missing something?
by kvb 12y ago
Seems like parametricity ensures that
Transducer a b
is isomorphic to
b -> [a]
Am I missing something?
- deleted 12y ago[deleted]
- tel 12y agoNope—https://news.ycombinator.com/item?id=8160327 https://news.ycombinator.com/item?id=8160327