Coordonnées

Département d'informatique
Université du Québec à Montréal
CP 8888, Succ. Centre-ville
Montréal (Québec) H3C 3P8
Tél: 514-987-3000, #5516
Bureau: PK-4525
Courriel: blondin_masse[point]alexandre
[arobase]uqam[point]ca

À propos

J'ai complété mon doctorat en mathématiques-informatique sous la supervision des professeurs Srecko Brlek, de l'Université du Québec à Montréal, au Canada, et de Laurent Vuillon, de l'Université de Savoie, en France.

Depuis le 1er août 2014, je suis professeur adjoint à l'Université du Québec à Montréal, au Canada.

Liens utiles

Programmation fonctionnelle et logique

Bienvenue sur le site du cours Programmation fonctionnelle et logique - INF6120 que j'enseigne à l'automne 2019!

Annonces

20 novembre 2019
  • Ajout de l'énoncé du travail pratique 2
3 novembre 2019
  • Ajout de l'énoncé et de la solution de l'examen intra
21 octobre 2019
  • Mise à jour de l'échéancier
  • Ajout des locaux pour l'examen intra: A-L (PK-R650), M-Z (SH-3340)
27 septembre 2019
  • Ajout de liens divers vers des ressources
20 août 2019
  • Activation du site

Examens

Intra:

Ancien final:

Travaux pratiques

TP1:

TP2:

Références

Sur Haskell:

[1] GHC The Glasgow Haskell Compiler. Le principal compilateur Haskell.
[2] Cabal, the Common Architecture for Building Applications and Libraries, un système facilitant la distribution de bibliothèques Haskell.
[3] The Haskell Tool Stack, un outil de développement permettant de gérer l'installation et les dépendances.
[4] Haskell Platform. Le compilateur GHC, les outils Cabal et Stack, tous en un.
[5] Haddock: A Haskell Documentation Tool. Un logiciel permettant de générer de la documentation pour les programmes écrits en Haskell.
[6] Learn You a Haskell for a Great Good!, par Miran Lipovača. La ressource principale pour la première partie du cours sur Haskell.
[7] Apprendre Haskell vous fera le plus grand bien!, par Miran Lipovača, traduit par Valentin Robert.
[8] Real World Haskell, par Bryan O’Sullivan, Don Stewart et John Goerzen. L'approche est complémentaire et permet aux lecteurs de faire des commentaires.
[9] Purely Functional Data Structure, par Chris Osaki. Un classique sur la programmation fonctionnelle pure.

Sur Prolog:

[10] SWI-Prolog. Le principal compilateur Prolog libre disponible.
[11] Programming in Prolog, par William F. Clocksin et Christopher S. Mellish, Springer. La principale ressource pour la deuxième partie du cours sur Prolog. Disponible en ligne.
[12] Prolog, A tutorial Introduction, par James Lu et Jerud J. Mead.

Contenu

Le contenu abordé chaque semaine est détaillé dans le tableau ci-bas. Chaque cours magistral sera disponible sous format vidéo (à moins de problèmes techniques qui peuvent survenir pendant l'enregistrement).

Je me réserve la possibilité d'apporter des modifications sans préavis.

Semaine Date Contenu
1 3 sept

Introduction

  • Présentation du cours
  • Paradigmes de programmation
  • Rappels mathématiques
  • Le langage Haskell
  • Fonctions et types
  • Listes et tuples
2 10 sept

Bases de Haskell

  • Types
  • Classes
  • Application et combinaison de fonctions
  • Définitions de fonctions
3 17 sept

Bases de Haskell (suite)

  • Définitions de fonctions
  • Fonctions d'ordre supérieur
  • Exemple: le jeu 2048
4 24 sept

Types et foncteurs

  • Types algébriques
  • Types récursifs
5 1er oct

Types et foncteurs

  • Classes
  • Foncteurs

Modules

  • Généralités
  • Installer un module
  • Concevoir un module
6 8 oct

Modules (suite)

  • Le module Data.Array
  • Le module Data.Foldable

Quiz
7 15 oct

Foncteurs applicatifs et monades

  • Foncteurs applicatifs
  • Lois
8 22 oct

Foncteurs applicatifs et monades (suite)

  • Lois
  • Entrées et sorties
  • Monades
9 29 oct Examen intra
10 5 nov  
11 12 nov  
12 19 nov  
13 26 nov  
14 3 déc  
15 10 déc Examen final