View
80
Download
2
Category
Preview:
Citation preview
SCHEME
Functional programming language
SA12225089
王知践
OUTLINE
Features
Art of Mathematics
Wonders of magic
FEATURES
No For
No while
……
Minimalism
Lambda calculus
Block structure
Proper tail recursion
FEATURES
(*
(+ 2
(* 4 6)
)
(+ 3 5 7)
)
ART OF MATHEMATICS
E.g. Lambda calculus in mathematic
ART OF MATHEMATICS
E.g. Lambda calculus in Scheme
((lambda (a b) (+ a b)) 1 2) ( 1 + 2 = 3)
"lambda" as a keyword for introducing a procedure (Anonymous function).
using lambda expressions not as simple procedure instantiations but as "control structures and environment modifiers.
WONDERS OF MAGIC
WONDERS OF MAGIC
WONDERS OF MAGIC
Metalinguistic abstraction
Scheme use itself to implement interpreters
and compilers of itself.
ESOTERIC
Recommended