work/src/ Cours IFT-2035

IFT 2035 -- Concepts des langages de programmation


Professeur: Stefan Monnier


Page Moodle du cours pour E2020.

Description

Ce cours présente les différents concepts à la base des langages de programmation. Le cours vise à aider les étudiant(e)s à mieux connaître les outils qu'ils utiliseront dans le reste de leur carrière, et à les familiariser avec des méthodes et styles de programmation avancés Plusieurs styles de programmation seront vus, tels la programmation fonctionnelle, la programmation impérative, la programmation logique.

Des langages de programmation représentatifs seront étudiés à tour de rôle pour explorer chaque style de programmation et, lorsque nécessaire pour expliquer certains concepts, des exemples seront tirés d'autres langages. Nous ne cherchons pas à former des spécialistes d'aucun des langages étudiés, mais plutôt à donner une solide formation de base qui permettra à l'étudiant(e) de maîtriser en peu de temps n'importe quel nouveau langage.

Des travaux de programmation permettrons aux étudiant(e)s de confronter dans la pratique les concepts présentés dans le cours. Le cours n'est cependant pas un cours de programmation et il n'entend pas non plus enseigner certains langages: il se concentre sur les concepts théoriques sous-jacents.

Sujets traités

Syntaxe, sémantique, types, interprétation et compilation, structures de contrôle, représentations des données, portée, passage d'arguments, gestion mémoire, procédures, traitement de listes, fonctions d'ordre supérieur, macros, variables et environnements, ...

Manuels recommandés

David A. Watt, Programming Language Design Concepts, John Wiley & Sons.

Ravi Sethi, Programming Languages -- Concepts and Constructs, Addison-Wesley.

Autres manuels suggérés

Horaire

Premier cours: mercredi 20 mai 2020
Première démonstration: jeudi 21 mai 2020
Dernier cours: jeudi 2 juillet 2020.

Jour Heure Lieu Type
Lundi 15h00-17h00 Jitsi Cours
Mercredi 14h00-16h00 Jitsi Cours
Mercredi 16h00-17h00 Jitsi Démonstration
Jeudi 9h00-11h00 Jitsi Cours
Jeudi 11h00-12h00 Jitsi Démonstration
Vendredi 15h00-17h00 Jitsi Démonstration
12 Juin 15h00-17h00 Home Examen Intra
15 Juin 15h00-17h00 Home Examen Post-Intra
6 Juillet 15h00-18h00 Home Examen Final

Le choix des salles n'est pas sous mon contrôle et est parfois changé sans préavis,
donc dans le doute, faites plutôt confiance au formulaire insupportable de Synchro

Évaluation

Il y aura 2 travaux pratiques (total 45 points) et 3 examens (resp 15, 10, et 20 points), plus 10 points répartis sur 5 exercices hebdomadaires. La note finale sur 100 sera convertie en note litérale à la fin du cours seulement, selon un barème qui dépendra de la moyenne du groupe et de la répartition des notes des étudiants.

Les travaux pratiques sont à faire en groupe de 2 (jamais plus, et très rarement moins). Les exercices sont à faire seuls.

Rappel

Le plagiat et la copie sont des fautes graves passibles de sanctions disciplinaires. Dans ce cours, nous prendrons toutes les mesures que nous jugeons nécessaires pour dépister et contrer ce genre d'activités.

Notes de cours

Ces notes furent inspirées de celles de Marc Feeley, sauf les erreurs bien sûr.

Intro
Syntaxe
Programmation fonctionnelle
Macros
Programmation logique
Programmation impérative
Gestion mémoire
Programmation orientée objets
Programmation concurrente
Types dépendents

Démonstrations

Les données de chaque démonstration seront placées ici. Les exercices sont à faire individuellement, pas en groupe, et ne sont pas notés, sauf ceux labellés "½" et qui sont à rendre en début de démo, qui comptent chacun pour 2% de la note.

Exercices 1, à faire aux démos du 21 et 22 mai.
Exercices 1½, à rendre avant le cours du 27 mai.
Exercices 2, à faire aux démos du 27 et 28 mai.
Exercices 3, à faire à la démo du 29 mai.
Exercices 3½, à rendre avant le cours du 3 juin.
Exercices 4, à faire aux démos du 3 et 4 juin.
Exercices 5, à faire à la démo du 5 juin.
Révision d'intra, à faire aux démos du 10 et 11 juin.
Exercices 5½, à rendre avant le cours du 17 juin.
Exercices 6, à faire aux démos du 17 et 18 juin.
Exercices 7, à faire à la démo du 19 juin.
Exercices 7½, à rendre avant le cours qui aurait eu lieu le 24 juin si c'était pas un jour férié.
Exercices 8, à faire à la démo du 26 juin.
Exercices 8½, à rendre avant le cours qui aurait eu lieu le 1 juillet si c'était pas un jour férié.
Exercices 9, à faire à la démo du 2 juillet.
Révision de final, à faire à la démo du 3 juillet.

Démonstrateurs

Jean-Alexandre Barszcz <barszczj@iro.umontreal.ca>.
Arnaud L'Heureux <lheureua@iro.umontreal.ca>.

Extras

Révision d'intra, à faire entre amis.
Révision de final, à faire sur la terrasse, avec un sorbet.

Travaux Pratiques

Les données de chaque travail pratique seront placées ici.

Les travaux pratiques sont à faire en groupe de 2.

TP #1

La donnée du travail. Le code source correspondant.
Ce TP compte pour 23% de la note finale.

Voici un fichier d'exemple de code Psil, que vous pouvez passer à la fonction run.

TP #2

La donnée du travail.
Le code source correspondant.

Plan

Semaine Sujet
20-22 mai Intro; Syntaxe
25-29 mai Types; Pattern matching; Fonctions d'ordre supérieur; Inférence de types; portée
1-5 jun CBV/CBN; Structures infinies
8-12 jun Macros + Intra
15-19 jun Programmation logique
22-26 jun Représentation des données; Gestion mémoire
..-3 jul Concurrence; OO; Types dépendants
6 jul Examen Final

Liens utiles pour les langages abordés

Liens pour Emacs

GNU Emacs est l'éditeur recommandé dans ce cours pour écrire du code. Parmi les bonnes ressources pour ce qui a trait à Emacs, nous trouvons le manuel online disponible dans le menu Help, la commande 'i' dans ce manuel, le groupe de discussion gnu.emacs.help, le Wiki, et la refcard.

Liens pour Elisp (Emacs Lisp)

Dans Emacs, vous pouvez démarrer une boucle interactive Elisp avec M-x ielm RET. Une introduction à Elisp est disponible directement depuis la barre de menu d'Emacs sous Help ⇒ More Manuals ⇒ Introduction to Emacs Lisp et le manuel de référence du langage est similairement disponible sous Help ⇒ More Manuals ⇒ Emacs Lisp Reference.

Liens pour Haskell

Liens pour C

Il y a pléthore de livres sur C. Il y a aussi divers tutoriels sur le web. Une bonne source d'information détaillée est la FAQ de comp.lang.c.

Pour les projets en C, je recommande aussi d'utiliser la documentation en ligne de de make, gdb, et glibc. Elle est accessible depuis Emacs avec M-x info (aussi dans le menu Help => Manuals => Browse Manuals with Info).

Pour débugger des problèmes de gestion mémoire, il peut être utile de faire un export MALLOC_CHECK_=2 pour attraper le problème plus tôt. La documentation en ligne de glibc explique quelles autres valeurs peuvent être utilisées.

Liens pour Prolog

Liens pour Rust