Ma page Caml

Un projet en cours : Drgeocaml.

Il s'agit d'un portage (sans prétention d'exhaustivité) de Drgeo en Caml. Pour le moment, c'est un peu minimaliste, mais j'y travaille de temps en temps. Je recherche des bonnes volontés pour m'aider à l'étoffer un peu. Si vous êtes intéressés, contactez-moi.

Les versions disponibles :

• la dernière version, en OCaml 3.06 avec LablGtk (CVS 2003) : drgeocaml-0.1.4.tar.gz
• une version précédente en OCaml n'utilisant pas LablGtk : drgeocaml-0.0.4.tar.gz
• une version préliminaire en Caml-light : drgeoml-0.0.1.tar.gz
• pour les autres versions, me consulter.

Dernières nouvelles : le projet a été repris en main par Julien Narboux. Il se développe actuellement en parallèle avec un autre projet, Geocaml, sur l'archive Gna.

Un autre projet en cours : Morpion.

Il s'agit d'un programme jouant au morpion solitaire, dans le but avoué de battre le record (officiel) de 170 croix.

Les versions disponibles :

• la dernière version, en OCaml : morpion-0.2.tar.gz
• une version précédente en OCaml : morpion-0.1.tar.gz

Quelques feuilles de TP sans aucune originalité :

Ces TP sont parfois des copies quasi-conformes de documents trouvés sur le net (aux adresses ci-dessous) ou dans des livres du commerce. Si leur présence sur ce site indisposent leurs auteurs, je les retirerai immédiatement. Un bon conseil : consultez les originaux, ils sont bien meilleurs que moi. Qu'ils soient ici loués pour toutes les merveilleuses ressources qu'ils ont bien voulu partager.

Si j'ai mis ces TP ici, c'est uniquement parce que c'était ma première année d'enseignement, et que j'ai parfois manqué cruellement de temps et surtout d'expérience pour créer quelque chose de plus personnel.

• TP sup n°1 : (source,dvi, ps) : présentation du langage Caml (honteusement copié sur le livre de Denis Monasse)
• TP sup n°2 : (source,dvi, ps) : itération et récursion
• TP sup n°2 bis : (source,dvi, ps) : itération et récursion, suite
• TP sup n°3 : (source,dvi, ps) : diviser pour régner
• TP sup n°4 : (source,dvi, ps) : listes
• TP sup n°5 : (source,dvi, ps) : listes et vecteurs
• TP spé n°1 : (source,dvi, mp ps) : révisions
• TP spé n°2 : (source,dvi, ps) : arbres binaires de recherche
• Un programme de calcul de pi en précision arbitraire, écrit en Caml-light, utilisant la formule de Machin, et le texte (source, dvi, ps) d'un devoir de niveau première année présentant ce programme, tiré d'un exercice du livre "Mathématiques et informatique" de J. Berstel, JE Pin et M. Pocchiola..
• Un programme traçant la spirale d'Ulam, grand écran conseillé (sinon, il est facile à adapter).

Quelques programmes autour des automates cellulaires et autres machines de Turing :

• Allez voir ma page sur les castors actifs.
• Connaissez-vous la fourmi de Langton ("Langton ant" en anglais) ?
  A voir absolument si vous voulez vous faire une idée de la complexité du monde dans lequel vous vivez. Une fois qu'on a découvert ce qu'un automate plan à deux états est capable d'engendrer, on comprend la futilité des tentatives de réduction du monde à quelques équations.
  Mon programme fourmi (format caml-light ou oCaml) devrait vous étonner. Après vous avoir fait découvrir la fourmi à deux états, il vous emmènera dans la complexité sans borne des fourmis généralisées.
  Voici une page de liens pour démarrer vos recherches sur le sujet.

Liens utiles

Caml : Le site des compilateurs Caml. Beaucoup de ressources.
The OCaml Language : Si vous n'en avez pas assez avec le site précédent, de nombreuses autres ressources.
OCaml Link Database : Encore une base de liens.
Michel Quercia : Une des pages de Michel Quercia, consacrée à l'option informatique en prépa. Un cours complet, des TD...
Cours de Caml : D'autres cours de niveau spé.