Cette page est consacrée au cours de techniques
avancées de programmation réalisé en Master 2 à l'Université de
Bordeaux 1.
La page du cours donne une bibliographie et quelques liens utiles.
La page du cours donne une bibliographie et quelques liens utiles.
Travaux dirigés
- TD n°1 : Premiers pas avec OCaml
( /
/
Source /
Corrigé)
- TD n°2 : Programmation fonctionnelle
( /
/
Source /
Corrigé)
- TD n°3 : Programmation fonctionnelle et générique
( /
/
Source /
Corrigé)
- TD n°4 : Techniques de programmation fonctionnelle
( /
/
Source /
Corrigé)
- TD n°5 : Types inductifs / Généralisation
( /
/
Source /
Corrigé)
- TD n°6 : Types de données / Programmation fonctionnelle
( /
/
Source )
Corrigé)
- TD n°7 : Programmation orientée par les données
( /
/
Source /
Corrigé)
- TD n°8 : Programmation paresseuse
( /
/
Source /
Corrigé)
- TD n°9 : Programmation modulaire
( /
) /
Source /
essai.png /
camlimages /
Corrigé)
- TD n°10 : Programmation fonctorielle
( /
/
Source )
Corrigé)
- TD n°11 : Programmation par aspects ( / / Source / Java / Correction )
Devoirs à la maison
- Simulateur économique multi-thread (devoir à rendre pour
le 7 décembre 2011)
Énoncé du sujet : / Sources Corrigé )
Il ne s'agit pas d'un devoir sur les monades, mais la bibliothèque Lwt offre une interface qui est celle d'une monade. Pour plus de lecture sur la façon dont fonctionnent les monades et leurs potentielles applications, se référer par exemple à la page du langage Haskell sur la monade IO.
Liens utiles
OCaml
- La page de développement d'OCaml.
- La page de documentation (User's manual)
- Les Bosses (The Humps), site centralisant des projets développés en OCaml.
- Le Langage Caml, X. Leroy et P. Weis ()
- Developing applications with OCaml, E. Chailloux et al. ()
- Le mode Tuareg, un mode Emacs pour coloriser les fichiers source OCaml.
Mono / C#
- La page du projet Mono.
- La documentation de la bibliothèque standard de Mono.
- La documentation des langages C# et F# par Microsoft.
- La page du projet F#.