TP1: prise en main de ocaml et emacs

Le sujet du TP1.

Pour installer ocaml et emacs sur votre ordi Windows,  téléchargez et décompressez le fichier ici.
Si vous travaillez sur Mac, allez sur cette page (mais je n'ai pas testé).
Si vous travaillez sous linux, alors installez les dernières versions d'ocaml et d'emacs avec une commande du genre sudo apt-get -install ocaml

Dans tous les cas, faites part de vos problèmes dans les commentaires!

Un aide-mémoire ocaml (en évolution).



Une initiation à ocaml (sur le site de ocaml).
Un cours sur ocaml à l'X.
Le manuel d'ocaml (en anglais)

Commentaires

Enregistrer un commentaire

Posts les plus consultés de ce blog

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

Le cours et les TP

lundi 5 février (LP): introduction, histoire de l'informatique, machines de Turing, théorème de l'arrêt, premiers pas en ocaml. Documents: l'article de Turing de 1936 , le chapitre 1. mardi 6 et jeudi 8: TP1: premiers pas avec ocaml et emacs, sujet , corrigé . lundi  12 février (LP): récursivité , présentation prezi , types composés de caml . mardi 13 et jeudi 15: TP2: récursivité, tuples, listes et filtrage, sujet , corrigé . pour  jeudi 23: DM1 en ligne . lundi 19 février (LP): terminaison et correction de programme, tableaux ocaml, listes. mardi 20 et jeudi 22 février : TP3: types somme, types récursifs, récursivité, graphiques, fractals, sujet , corrigé . pour lundi 12 mars: DM2 en ligne lundi 12 mars (NN): complexité, méthode de Horner, exponentiation rapide. Support de cours. mardi 13 et jeudi 15 : TP4: ocaml impératif, exponentiation rapide, sujet , corrigé . lundi 19 mars (NN): tris mardi 20 et jeudi 22 mars: TP5: ensembles finis, tri pa
Lire la suite