La lampe d’Aladdin

  • La rhétorique du fonctionnel, simple et performant

Un éloge du bug

Modèles et manipulation

  • Un modèle théorique riche est celui qui émerge d’une longue manipulation
  • Une théorie “immatérielle” n’est qu’une manipulation pauvre et paresseuse

La manipulation du code

  • L’obligation de spécifier des modèles formels

Usages

  • enseignement
  • modélisation
  • recherche

Enseignement

Modélisation

Recherche

Le risque de paresse

  • import whatever: la magie des langages de haut niveau
  • l’outil unique miracle
  • une modélisation brouillonne