Date post: | 17-Jul-2015 |
Category: |
Software |
Upload: | melvin-zhang |
View: | 364 times |
Download: | 3 times |
Functional Programming
from First Principles
<v> := a|b|c|...|z
<e> := <v>|(\<v> <e>)|(<e> <e>)
Presented by Melvin [email protected]
http://www.cosmiqo.com
http://magarena.github.io
http://www.ioccc.org/2012/tromp/tromp.c
John Tromp, https://tromp.github.io/
http://www.quotessays.com/bio/alonzo-church.html
http://www.princeton.edu/turing/alan/photos/
The Church-Turing thesis
Demo!
Functions are values.
Functions have no side effects.
May be lazy or eager.
May be untyped or typed.
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
http://www.meetup.com/Singapore-Clojure-Meetup/