Functional programming from first principles
2 likes1,001 views
This document is a presentation on functional programming from first principles. It introduces lambda calculus notation for expressions and values, lists the presenter's contact information and references, and covers topics like Church's thesis, laziness vs eagerness, typing, and further readings on the subject. It concludes by providing information on a Meetup group for Clojure.
Functional programming from first principles
- 1. Functional Programming from First Principles <v> := a|b|c|...|z <e> := <v>|(<v> <e>)|(<e> <e>) Presented by Melvin Zhang melvin@melvinzhang.net
- 11. Demo!
- 13. Functions have no side effects.
- 14. May be lazy or eager.
- 15. May be untyped or typed.
- 16. Further readings • Church’s Thesis and Functional Programming, David Turner (2006) • http://www.ioccc.org/2012/tromp/hint.html • http://github.com/melvinzhang/binary-lambda- calculus