4 ms·
That blog post is basically explaining untyped Lambda Calculus and Church Numerals with the ruby lambda syntax. If you liked that you maybe interested in the re
by timtadh 12y ago
That blog post is basically explaining untyped Lambda Calculus and Church Numerals with the ruby lambda syntax. If you liked that you maybe interested in the real thing. The best introduction I know is a really great book on Type Theory called: "Types and Programming Languages." It is great because after Lambda Calculus the author shows how to build really useful programming languages and type systems using the lambda calculus formalism. Definitely a must read if you are interested in understanding the underpinning of modern type systems.
[1] http://www.cis.upenn.edu/~bcpierce/tapl/ http://www.cis.upenn.edu/~bcpierce/tapl/
- bilalq 12y agoYeah, it mentions that at the bottom of the post. I must confess that I've never heard of Church encoding before, but I'll be reading more about it. Thanks for the book recommendation as well.
- acjohnson55 12y agoI read that book years ago in a Theory of Programming Languages. I recall learning a lot from the process, but I'm probably due for a refresher, now that I'm building more things in Scala and trying to learn me a Haskell for great good.