Sergiu Ivanov

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.
~~TRANS~~

===== Haskell for Life =====

Le but de ce cours est de familiariser les étudiants avec le modèle de calcul derrière un langage fonctionnel de haut niveau et grand public. Le cours se focalise plutôt sur l'acquisition de connaissances pratiques. Grâce à ce cours les étudiants seront capables de résoudre des problèmes pratiques de programmation de complexité moyenne en écrivant du code Haskell idiomatique et en utilisant l'écosystème riche de librairies propre à ce langage.

Ce cours vise un public large, le seul prérequis étant une expérience de programmation superficielle en un des langages populaires : (C/C++, Java, C\#/.NET, Python, etc.).

L'activité essentielle pour l'enseignement de ce cours est la démonstration de sessions interactives de Haskell. Le processus d'enseignement sera donc directement dirigé par le retour de la part des étudiants.

Le cours consiste en 4 parties, dont les 3 premières définissent quelques notions essentielles, alors que la dernière fournit des exemples de programmation parallèle et concurrente. Une partie peut être enseignée sur plusieurs séances ; c'est notamment le cas de la première partie qui devrait probablement être traitée en deux temps pour faciliter l'apprentissage. Les étudiants ayant suivi ce cours peuvent se voir accorder 2 ECTS.

Les dispositifs de ce cours ainsi que les explications dans le code source sont en anglais.

Ce cours suit (assez approximativement) ce merveilleux livre : [[http://book.realworldhaskell.org/|Real World Haskell]].

Les matériaux de ce cours sont distribués sous la [[https://fr.wikipedia.org/wiki/Licence_Creative_Commons|licence Creative Commons Paternité]] {{:ccby.png?60}}.

==== 1. Introduction ====

Cette partie introduit les idées fondamentales derrière la programmation fonctionnelle ; il s'agit des fonctions de première classe et des fonctions d'ordre supérieur. Le typage strict et statique en Haskell est présenté et comparé aux autres stratégies de typage que l'on retrouve dans d'autres langages de programmation. Quelques éléments essentiels de la syntaxe sont expliqués, y compris la syntaxe pour la définition de types de données simples.

Les diapositives de cette partie se trouvent {{:h4life-01.pdf|ici}}.  Les exemples présentés sont {{:h4life-funcs.hs|là}}.

==== 2. Classes de types ====

Cette partie définit les classes de types en Haskell et les compare aux classes et aux types dans d'autres langages de programmation. Quelques différences subtiles sont mises en avant pour éviter toute confusion.

Les diapositives de cette partie se trouvent {{:h4life-02.pdf|ici}}. Les exemples présentés se trouvent {{:h4life-types.hs|ici}} et encore {{:h4life-typeclasses.hs|ici}}. Le premier de ces fichiers contient des caractères Unicode ; il faut donc bien choisir l'encodage de l'affichage (Unicode ou UTF-8).

==== 3. Monades ====

Dans cette partie les monades sont présentées comme des outils pour l'élimination des aspects répétitifs d'un calcul. Dans un premier temps, les monades ''Maybe'' et ''List'' sont décrites. Ensuite, un aperçu des monades ''Reader'', ''Writer'', et ''State'' est proposé.

Les diapositives de cette partie se trouvent {{:h4life-03.pdf|ici}}. Les exemples présentés se trouvent {{:h4life-monads.hs|ici}}.

==== 4. Parallel and Concurrent Programming ====

Cette partie décrit quelques techniques de base pour la programmation parallèle et concurrente en Haskell. Dans un premier temps, les annotations pour la programmation parallèle sont présentées. Ensuite, une façon de lancer des fils d'exécution parallèle est décrite, ainsi que les stratégies de synchronisation par des variables partagées en exclusion mutuelle. Un scanner de ports rudimentaire est développé pour une démonstration pratique de ces techniques.

Les diapositives de cette partie se trouvent {{:h4life-04.pdf|ici}}. L'implémentation du tri rapide présentée dans le cours est {{:h4life-sorting.hs|par là}}. Le code du scanner de ports se trouve {{:h4life-scanner.hs|ici}}.
Sergiu Ivanov

Outils pour utilisateurs

Outils du site

Outils de la page
