Programmation fonctionnelle (L3, 2013-2014)

  • Semaine 7 – Interprète d’un mini-langage (2)

    (Programmation fonctionnelle...)
    19 mars 2014, par Pierre

    photo en cc-by-nc par Ryan Buterbaugh

    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 représenter comme des cases d’un tableau d’entiers, l’état du programme. On améliore ensuite le langage et son interprète, avec également une petite adaptation de l’évaluateur d’expressions, de façon à manipuler des variables par leurs noms (une chaîne de de caractères). Les variables doivent être déclarées et elles ont désormais une portée. Une variable plus locale masque temporairement une variable de même nom déclarée dans un bloc de niveau supérieur.

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10

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 (...)
Bluehats & UnivMobile , Présentation de la démarche design employée pour UnivMobile faite à la rencontre bluehats du 11 décembre 2019. [pdf, jpg]
Mon université en 2030, Texte d'une intervention que j'ai faite dans le cadre d'une soirée Cap 2030, organisée par le EdFab à Cap Digital le 27 février (...)
Revenu et logement, Je livre ici quelques éléments de comparaison concernant mon niveau de vie, pour couper court à quelques idées reçues, et un condensé de nombreuses (...)
Revenu et travail d’un enseignant-chercheur, Cet article complète l'article Revenu et logement, en détaillant un peu le budget de mon ménage, mon parcours d'enseignant-chercheur en terme de (...)
Cybersyn (el systemo synco), Au café, mardi 5 avril 2011, j'ai bien vu que, mis à part Antoine Allombert, personne ne connaissait l'histoire de l'extraordinaire projet chilien (...) [jpg, jpg, png]