à suivre (en construction)
Programmation fonctionnelle (L3, 2013-2014)
Cours TD et TP de programmation fonctionnelle en licence 3, en CAML.
Ramasseuse d’étoiles, à suivre (en construction)
Semaine 8 – Interprète d’un mini-langage (3), L'interprète du mini-langage consiste essentiellement en la définition du type des programmes et d'une fonction run. Des instructions sans paramètres (...)
Graphismes pour le jeu en caml, Quelques indications pour trouver des graphismes agréables et libres de droits et pour les intégrer à vos programmes en (...)
[zip, zip]
Semaine 7 – Interprète d’un mini-langage (2), Semaine 7. Après les expressions, les instructions. L'affectation permet de fixer la valeur de variables impératives que l'on a commencé par (...)
Semaine 6 – Interprète d’un mini-langage (1), Semaine 6. Évaluation d'expressions arithmétiques simples sur les entiers et ajout des variables impératives. Quelques explications sur le projet, à (...)
Semaine 5 – Aspects impératifs, graphiques, Encore un peu de récursion terminale (des corrections). Expression à évaluer (étant donné son arbre). Aspects impératifs : unit, for et while, (...)
Semaine 4 – récursion terminale (tail recursion), persistance, plus de syntaxe, Récursion terminale / tail recursion (pour éviter les débordements de pile / stock overflow). Du sucre syntaxique pour la correspondance de motifs (...)
Semaine 3 – Arbres binaires de recherche, Implémentation des arbres binaires de recherche.
Semaine 2 – Types sommes (sans paramètre), Types sommes en caml et types inductifs (sans variable de type en paramètre). Comparaison avec les types unions en (...)
Semaine 1 — Premiers pas en Caml, Premières prise de contact avec le langage et le REPL. Typage. Types de base, listes, tuples, fonctions, correspondance de motifs (...)