[Caml-list] Lambda Calculus

[Caml-list] Lambda Calculus

[Gérard Huet]

Everything you wanted to know about lambda-calculus - but were afraid 
to ask.
Nicely packaged as a set of executable Ocaml modules in limpid Pidgin 
ML syntax.

Learn how to program in pure lambda calculus the slowest quicksort in 
the world:

# let _L=list[3;2;5;1] in normal_list<<(^Quicksort ^L)>>;
- : list int = [1; 2; 3; 5]

Freak out with the Böhm-out technique and amaze your local theory guru 
by challenging him to separate Quicksort and Factorial:

# bohm(_Quicksort,_Fact);
- : list Term.term = [[x0,x1,x2,x3,x4]x3; [x0,x1]x0; [x0,x1]x0; [x0]x0]

Learn Recursion theory in one easy lesson, and surprise your friends by 
revealing that
Kleene is Church composed with Gödel :

value kleene t = church (godel t);

Win fortunes at TV Quiz shows by computing Gödel numbers faster than 
lightning:

# godel _Fix = 6941718342796165477078794502929179108365127687513804648;
- : bool = True

All this and more in the Constructive Computation Theory course, 
available in the Ocaml Hump:

http://caml.inria.fr/humps/

or directly at:
http://pauillac.inria.fr/~huet/CCT/

Enjoy!
GH

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners