Récusivité, types composés de ocaml

Voir le détail ici.

Commentaires

Enregistrer un commentaire

Posts les plus consultés de ce blog

Support de cours sur la complexité (et au delà !!!)

Vous trouverez dans le lien ci-joint des slides correspondant à mes cours. http://www-sop.inria.fr/members/Nicolas.Nisse/lectures/prepa/ Il y a en fait (beaucoup) plus que ce que j'ai le temps de vous expliquer en cours, mais si vous connaissez (et, encore mieux, maîtrisez) le contenu de ces slides, alors j'espère que vous serez parés pour les concours.  N'hésitez pas à m'aider à améliorer ces slides en me faisant vos remarques/critiques/corrections/questions...
Lire la suite

Ocaml avec Emacs (et Tuareg) sous Windows 10

  Télécharger et décompresser le fichier ici (dû à Marc De Falco). Pour commencer: les fichiers ocaml se terminent par .ml (sinon le mode Tuareg ne se lance pas). Pour exécuter du code: le sélectionner dans emacs, puis menu Tuareg-> Interactive Mode -> Evaluate Region (la première fois, taper Enter quand il propose ocaml dans le mini-buffer) le résultat est donné dans une nouvelle fenêtre. Pour  compiler un fichier: disons le fichier test.ml: menu Tuareg -> Compile puis taper dans le mini-buffer: ocamlopt -o test test.ml (les fois suivantes, il s'en souvient) cela crée un fichier test.exe (dans le même répertoire que le fichier test.ml) que l'on lance sous windows comme n'importe quel programme windows.
Lire la suite