IFT-2035 Concepts des Langages de Programmation

IFT-2035
Concepts des Langages de Programmation
Stefan Monnier (AA-3343)
[email protected]
http://www.iro.umontreal.ca/˜monnier/2035/
•David A. Watt, Programming Language Design Concepts
•Ravi Sethi, Programming Languages: Concepts & Constructs
•Benjamin C. Pierce, Types and Programming Languages
•Simon Thompson, Haskell: The Craft of Functional Programming
•Paul Hudak, The Haskell School of Expression
IFT-2035 Stefan Monnier 1

Calendrier
Historique, syntaxe des langages
S´ emantique des langages, λ-calcul, types
Programmation fonctionnelle
Port´ ee, passage d’argument
Fonctions d’ordre sup´ erieur, fermetures
Totalit´ e, exceptions
Modules, abstraction
Compilation et interpr´ etation
Programmation imp ´ erative
Repr´ esentation de donn´ ee
Pointeurs et gestion m´ emoire
Programmation logique
IFT-2035 Stefan Monnier 2

Aperc¸u du cours
Il y a plusieurs milliers de langages de programmation
•ˆ Etre capable d’utiliser efficacement la majorit ´ e de ces langages
•Savoir comparer et tirer parti de leurs similarit´ e et diff´ erences
•Pouvoir comprendre comment ils interagissent
•Comprendre les concepts fondamentaux
–Syntaxe et s´ emantique, types
–Abstraction
–Port´ ee et passage d’arguments
–Analyse, raisonnement, libert´ e d’implantation
•Mieux programmer
IFT-2035 Stefan Monnier 3

Comment?
•Peu de syntaxes
•Peu de diff´ erents styles de programmation
•´ Equivalence de Turing
Confin´ e par notre cr´ eativit´ e, les contraintes des langages machines, et
les besoins de performance
IFT-2035 Stefan Monnier 4

Styles de programmation
•Imp´ eratif
–Proc´ edural
–Objet
•D´ eclaratif
–Fonctionnel
–Logique
•Concurrent
–M´ emoire partag´ ee
–Passage de messages
IFT-2035 Stefan Monnier 5