Programmation - L3

Prélude

bribes de C

démarrage en Caml

Supports de cours

• premier cours: fonctions et types - sommes, début (cf. ci-dessous pour les transparents) -- du code
• deuxième cours: types somme et exceptions, programmation impérative (cf. ci-dessous pour les transparents) -- du code
• troisième cours: programmation impérative, modules, équations entre programmes (cf. ci-dessous pour les transparents) -- du code
• quatrième cours: équations entre programmes, génération de code (du code -- sauvegarder le fichier, faire tar zxvf demo_gen.tgz, et aller lire le fichier README), encore un peu de modules (cf. ci-dessous pour les transparents) (du code)
  la réponse à la question est non (unbound module type A)
• cinquième cours: modules, suite et fin (du code), paresse, début (cf. ci-dessous pour les transparents)
• sixième cours: paresse, suite et fin (du code), lambda-calcul (cf. ci-dessous pour les transparents)
• septième cours: lambda-calcul, suite et fin, continuations (cf. ci-dessous pour les transparents), (du code), les alligators
• huitième cours: continuations, suite et fin, (du code), unification (cf. ci-dessous pour les transparents),
• neuvième cours: unification, suite et fin, (du code), inférence de types (cf. ci-dessous pour les transparents)
• dixième cours: inférence de types, suite et fin, (du code)
• onzième cours: mémoire (du code), gc (cf. ci-dessous pour les transparents)
• douzième cours: gc, (du code), objets
• treizième cours: parallélisme, (du code)
• quatorzième cours: initiation à Coq, (du code)

TP

Liens divers

• l'annuaire
• du gore
• du captain abstraction
• le style préconisé par B. Pierce