(Apprendre à) Programmer avec Scheme

deptinfo.unice.fr/~roy/PANORAMA.pdf
(Apprendre à)
Programmer avec
SchemePourquoi Scheme ?
qualités pédagogiques qualités théoriques
Syntaxe minimale Syntaxe minimale• •
Auto-référent et• Environnement intégré•
facile à analyser•
Multi-paradigmes• Bases : λ-calcul•
Données complexes • Sémantique propre•
(listes, arbres, vecteurs,
Fonctionnel images) immédiatement Impératif
Par objets disponibles
Strict/Paresseux Peu répandu :-)• etc.Points d'histoire
Origine : LISP, (McCarthy, MIT, 1958)•
Motivation : λ-calcul (fondements) + IA (symbolique)•
Crise vers 1970. Liaison dynamique ou statique ?•
Emacs-Lisp Pascal, C
Scheme fait (avec Common-Lisp) le choix statique.•
Enseignement Industrie
& recherche
6 Scheme [norme R RS, 2007] devient de plus en plus :•
- un outil d'enseignementn laboratoire de langages
- un langage de scripts
Quelques pôles d'enseignement
6.001 - Structure and Interpretation of
Computer Programs
Fall 2007 at MIT
Paris VI Jussieu
PLT-Scheme L'équipe de C. Queinnec
Programming Language Team
(the knights of -calculus)
Les images sont des liens
Brown, Northeastern, Utah, Chicago... vers des pages Web !...(define ((L-free-particle mass) local)
  (let ((v (velocity local)))
    (* 1/2 mass (dot-product v v))))
1
L(t,x,v)= m(v . v)
2
The advantage of Scheme over other
languages is that the manipulation of
procedures that implement mathematical
functions is easier and more natural in
Scheme. Indeed, many theorems of
mechanics ...