Installation d’OCaml
Le langage de programmation utilisé en option informatique s’appelle OCaml. Ce document vous explique
comment installer l’environnement de développement Visual Studio Code (VS code). Si vous le souhaitez,
vous pouvez utiliser un autre IDE.
1 Installation d’OCaml
1.1 Sous Windows
Installez OCaml à partir du « Graphical Installer - 64-bits » disponible ici : (pensez à noter le dossier
d’installation qui devrait être de la forme « C:/OCaml64 ») :
[Link]
Si ça ne fonctionne pas, vous pouvez utiliser :
[Link]
Dans l’idéal, utilisez le premier lien, car le deuxième mène à une ancienne version d’OCaml.
1.2 Sous Mac
La première étape est de télécharger homebrew. C’est un gestionnaire de paquets, c’est à dire un
programme qui permet d’installer d’autres programmes (ici, on l’utilisera pour installer OCaml). Pour
télécharger homebrew :
• Ouvrir le launchpad
• Ouvrir l’application “terminal”.
• Dans le terminal taper :
/bin/bash -c "$(curl -fsSL [Link]
puis sur la touche Entrée.
• Suivre les instructions pour installer homebrew.
Il faut maintenant demander à homebrew d’installer OCaml :
• Dans un terminal, taper :
brew install ocaml
puis sur la touche Entrée.
• Suivre les instructions pour installer OCaml
1.3 Sous Linux
Dans un terminal, exécuter :
apt-get install ocaml
2 Installation de VS Code
Installer VS Code à partir de la page officielle :
[Link]
1
3 Un premier programme en OCaml
Pour tester si l’installation a fonctionné :
• Ouvrir VS Code
• Cliquer sur File > New File... et appeler le fichier « [Link] ».
• Cliquer sur Terminal > New Terminal. Un terminal s’ouvre alors en bas de la fenêtre.
• En fonction de votre système d’exploitation :
- Si vous êtes sous Windows et que vous avez utilisé le premier lien d’installation. Dans le terminal,
taper :
C:/OCaml64/usr/local/bin/[Link] exec -- ocaml
puis sur la touche Entrée. Dans la commande ci-dessus, vous devez remplacer C:/OCaml64 par
le dossier où s’est installé OCaml (ce dossier a été choisi lors de l’installation). Attendre quelques
secondes qu’OCaml se lance.
Vous devez exécuter la commande ci-dessus à chaque fois que vous redémarrez VS code. Notez
qu’il n’est pas nécessaire de la réécrire à chaque fois, puisque vous pouvez la retrouver dans
l’historique en cliquant dans le terminal et en utilisant la flèche vers le haut du clavier.
- Dans tous les autres cas : dans le terminal, taper ocaml puis sur la touche Entrée.
• Écrire le programme suivant dans le fichier source :
let f n =
let a = n + 1 in
let b = a * n in
a+b;;
(* Tests *)
f 4;;
f 5;;
• Avec la souris, sélectionner ce programme et cliquer sur Terminal > Run Selected Text.
Si tout se passe bien, le programme s’exécute et le terminal affiche les résultats 25 et 36.
4 Coloration syntaxique
Afin d’avoir une coloration syntaxique, il faut ajouter une extension à VS Code :
• À gauche, cliquer sur l’icône Extensions.
• Rechercher “OCaml Platform” et installer cette extension.
Enregistrer le fichier source avec un nom finissant par l’extension .ml. Si l’installation s’est bien passée, le
texte du fichier source doit se colorer.
5 Raccourcis clavier (facultatif)
Afin d’exécuter plus simplement les programmes, on va définir des raccourcis claviers. Dans un premier
temps, cliquer sur l’icône Extensions à gauche et installer “Caml Select”.
• En bas à gauche, cliquer sur l’icône des paramètres et cliquer sur Keybord Shortcuts.
• Rechercher Caml Select: Run Caml Function et définir le raccourci clavier Ctrl + Maj + Entrée.
• Rechercher Terminal: Run Selected Text In Active Terminal et définir le raccourci clavier Ctrl
+ Entrée.
Vous avez maintenant deux cas :
2
• Si vous voulez exécuter plusieurs lignes de code (par exemple pour définir une fonction), utilisez le
raccourci Ctrl + Maj + Entrée. Ce raccourci exécute la portion de code qui commence au double
point-virgule (;;) précédent et qui s’arrête au prochain double point-virgule.
• Si vous voulez exécuter une seule ligne de code (par exemple lors d’un test), placez votre curseur sur
la ligne en question et utilisez le raccourci Ctrl + Entrée. La ligne doit nécessairement se terminer
par un double point-virgule pour être exécutée.
Bien sûr, vous pouvez choisir d’autres raccourcis clavier.
