Deriving Transducers from First Principles (2015) | Dark Hacker News