INGIniousINFOB316 - Programmation fonctionnelle et logique
A propos de ce cours
Ce cours vise à étudier le paradigme de programmation fonctionnelle et logique. Pour chaque paradigme, on y présente d'abord les concepts de base (fonction, réduction, évaluation, pour la programmation fonctionnelle, logique de Horn, stratégie de sélection, négation) avant d'aborder des sujets plus avancés, comme les fonctions d'ordre supérieur, les types polymorphes, les monades ou encore quelques exemples de programmation non déterministe. Une attention particulière est aussi portée aux techniques de programmation adaptées à ces paradigmes.
1. Bases du Haskell [Séance 1]
2. Fonctions en Haskell [Séance 2]
[2.1] Cube [5min]
Poids : 0.0
[2.2] Pair [5min]
Poids : 0.0
[2.3] Volpar [Suppl.]
Poids : 0.0
[2.4] Nombre de solutions [5min]
Poids : 0.0
[2.5] Aire triangle [5min]
Poids : 0.0
[2.6] Somme du cube [10min]
Poids : 0.0
[2.7] Type de triangle [Suppl.]
Poids : 0.0
[2.10] Volpar curry ? [5min]
Poids : 0.0
[2.11] Aire triangle curry ? [5min]
Poids : 0.0
[2.12] Curry2 [5min]
Poids : 0.0
[2.13] Uncurry3 [Suppl.]
Poids : 0.0
[2.14 - 2.15] Dollars [5min]
Poids : 0.0
[2.16] Compo [5min]
Poids : 0.0
[2.17] Appl3 [5min]
Poids : 0.0
[2.18] Update [5min]
Poids : 0.0
[2.19] Invert [Suppl.]
Poids : 0.0
[2.20] Invert uncurry [Suppl.]
Poids : 0.0
[2.21] Apply N fois [Suppl.]
Poids : 0.0
[2.22] Reciproque [Suppl.]
Poids : 0.0