Lecture 1 - Page 2 : 49
Programming Paradigms
Introduction to Functional Programming in Scheme
* Lisp and Scheme
Lisp
Scheme
R5RS, R6RS, R7RS, ...
* Expressions and values
The read-eval-print loop - REPL
Practical Scheme Programming
* Types
Types
Typing and Typecheck
* Lists
Proper lists
Symbolic expressions and improper lists
Practical list construction
List functions
Association lists
Property lists
Programs represented as lists
* Other Data Types
Other simple types
Vectors
Strings
* Definitions
Definitions
* Functions
The function concept
Evaluation of parenthesized expressions in Scheme
Lambda Expressions in Scheme
Lambda calculus
Function objects
Functions as first class values
Closures
More forms of lambda expressions in Scheme
Function definition in Scheme
* Name binding constructs
The
let
name binding expression
The equivalent meaning of
let
The
let*
name binding construct
The
let*
name binding construct
An example with
let*
The
letrec
namebinding construct
An implementation of letrec
Binding of free names
Binding of free names - examples
The
fluid-let
namebinding construct
* Referential Transparency
Referential Transparency - Practical Aspects
Referential Transparency
More Excercises
Lisp
Lisp was invented by John McCarthy in the late fifties.
Lisp is the next oldest programming language - only Fortran is older.
Lisp characteristics:
Invented for symbolic computations
Superficially inspired by mathematical function theory
Is syntactically and uniformly based on parenthesized prefix notation
Parsing a Lisp program is almost trivial
Programming goes hand in hand with language development
It is easy to access and manipulate programs from programs
Calls for tool making in Lisp
Lisp is really the name of a family of languages
Common Lisp, Emacs Lisp, Scheme, Clojure, ...
Foldoc: Lisp
Foldoc: prefix notation
A Lisp form - A Scheme function.
Program = Data = Lists
![Previous page: Lisp and Scheme [Section] -- Keyboard shortcut: 'p'](./images/nav-left.gif "Previous page: Lisp and Scheme [Section] -- Keyboard shortcut: 'p'")
