Scheme language brief introduction

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