Pierre Boudes

Articles les plus récents

• Semaine 6 – Interprète d’un mini-langage (1)

  12 mars 2014, par Pierre

  Semaine 6. Évaluation d’expressions arithmétiques simples sur les entiers et ajout des variables impératives. Quelques explications sur le projet, à suivre dans un autre document (importation d’images png, transformations affines en coordonnées homogènes, plateau de jeu, objets mobiles).

• Semaine 5 – Aspects impératifs, graphiques

  20 février 2014, par Pierre

  Encore un peu de récursion terminale (des corrections). Expression à évaluer (étant donné son arbre). Aspects impératifs : unit, for et while, enregistrements avec champs mutables, références, tableaux. Mode graphique.

• Semaine 4 – récursion terminale (tail recursion), persistance, plus de syntaxe

  18 février 2014, par Pierre

  Récursion terminale / tail recursion (pour éviter les débordements de pile / stock overflow). Du sucre syntaxique pour la correspondance de motifs (match with, gardes de motifs, regroupement de motifs, alias). Quelques explications sur la persistance et le ramassage automatique des miettes (garbage collecting).

• Semaine 3 – Arbres binaires de recherche

  7 février 2014, par Pierre

  Implémentation des arbres binaires de recherche.

• Semaine 2 – Types sommes (sans paramètre)

  4 février 2014, par Pierre

  Types sommes en caml et types inductifs (sans variable de type en paramètre). Comparaison avec les types unions en C.

• Semaine 1 — Premiers pas en Caml

  16 janvier 2014, par Pierre

  Premières prise de contact avec le langage et le REPL. Typage. Types de base, listes, tuples, fonctions, correspondance de motifs (pattern-matching). Pour que les fonctions soient des objets de première classe il faut associer à chaque fonction non seulement son code mais aussi son contexte (sa clôture). Illustration de cette nécessité des clôtures par ce dont son absence nous prive, avec un exemple en langage C.

• QCM 2 initiation au langage C

  11 décembre 2013, par Pierre

  questionnaire d’entraînement

• MACME : analyse et modélisation des économies monétaires complexes

  2 décembre 2013, par Pierre

  Un nouveau projet (non encore financé) s’inscrivant dans un travail de recherche interdisciplinaire entre économie et informatique, sur les modèles stock-flux cohérents basés agents.
  Page web du projet http://sfc-abm.org/macme/

• Bibliographie

  20 novembre 2013, par Pierre

  Livres de référence Benjamin C. Pierce, Types and Programming Languages, MIT Press, 645 pages, Jan 2002. Jean-Yves Girard, Yves Lafont, Paul Taylor, Proofs and Types, Cambridge University Press, 183 pages, 1989. disponible en pdf Robert Harper, Practical Foundations for Programming Languages, Cambridge University Press, 592 pages, 2013. Disponible en ligne : disponible en pdf Niel Jones, Computability and Complexity, MIT Press, 466 pages, Jan 1997. John Mitchell, Concepts in Programming (...)

• Entraînement aux rudiments de C (cours 1 à 3) par QCM

  14 octobre 2013, par Pierre

  Ce questionnaire à choix multiples sera augmenté dans les trois prochaines semaines.