News for hackers. Stuff that matters.

A comment on Clojure's Transducers are as fundamental as function composition. Parent comment

Re:Clojure's Transducers are as fundamental as function comp... by rebcabin on Sunday August 31, 2014 @11:36AM (#8249532)
I'd be grateful for a pointer to some fundamental background reading; I can only follow enough of your reasoning to be intrigued and committed to learning more :)
[ Parent | on HN ]
Re:Clojure's Transducers are as fundamental as function comp... by tel on Sunday August 31, 2014 @12:49PM (#8249723)
I'm trying to write up a blog post about this now. A really good presentation focused on types and programming languages is available in the middle chapters of Practical Foundations for Programming Languages. I originally learned about it from studying Aczel's Antifoundation Axiom from Barwise and Moss' Vicious Circles[0]---in there you can get a much more mathematical foundationalist POV---but Harper's book is more direct.

[0]http://www.amazon.com/Vicious-Circles-Center-Language-Inform...

[ Parent | on HN ]