✎ caml_light [Wiki ubuntu-fr]

Vous affichez une ancienne révision du document ! Si vous l'enregistrez, vous créerez une nouvelle version avec ce contenu.

----
====== Caml Light ======

[[wpfr>Caml_Light|Caml Light]] est un langage fonctionnel développé par [[wpfr>INRIA|l'INRIA]] jusqu'en 2002. C'est le principal langage enseigné en classe préparatoire, aux côtés de Pascal et de son successeur Objective Caml.

===== Installation =====
La version disponible sur le site de l'INRIA ne fonctionne pas correctement sur Linux : elle ne charge pas la librairie "graphics". Grâce au travail de [[http://boisson.homeip.net/clef/ClefAgreg.html|François Boisson]] ([[http://forum.ubuntu-fr.org/profile.php?id=8413 | fran.b]]) on peut enfin l'utiliser !

Les paquets existent en version 0.77
|           ^  Dapper  ^ Hardy ^ Intrepid ^ Jaunty ^ 
^ 32 bits  | [[http://boisson.homeip.net/ubuntu/pool/dapper/i386/camllight_0.77rc1-1_i386.deb|.deb]] | [[http://boisson.homeip.net/ubuntu/pool/hardy/i386/camllight_0.77rc1-3_i386.deb|.deb]] | [[http://boisson.homeip.net/ubuntu/pool/intrepid/i386/camllight_0.77rc1-3_i386.deb|.deb]] | [[http://boisson.homeip.net/ubuntu/pool/jaunty/i386/camllight_0.77rc1-3_i386.deb |.deb]] |
^ 64 bits |  -  | [[http://boisson.homeip.net/ubuntu/pool/hardy/amd64/camllight_0.77rc1-3_amd64.deb|.deb]] | [[http://boisson.homeip.net/ubuntu/pool/intrepid/amd64/camllight_0.77rc1-3_amd64.deb|.deb]] | [[http://boisson.homeip.net/ubuntu/pool/jaunty/amd64/camllight_0.77rc1-3_amd64.deb|.deb]] |

en version 0.80 (pour Hardy et Intrepid) et 0.81 ou 0.81-1 pour les suivants jusqu'à Oneiric et 0.82-3 au delà.

|         ^ Hardy ^ Intrepid ^ Jaunty ^ Karmic ^ Lucid ^ Maverick ^ Natty ^ Oneiric ^ Precise ^ Quantal ^ Raring ^ Saucy ^ Trusty ^ Utopic ^
^ 32 bits | [[http://boisson.homeip.net/ubuntu/pool/karmic/i386/camllight_0.81_i386.deb |.deb]] | [[http://boisson.homeip.net/ubuntu/pool/intrepid/i386/camllight_0.80_i386.deb |.deb]]  |  [[http://boisson.homeip.net/ubuntu/pool/jaunty/i386/camllight_0.81_i386.deb |.deb]] | [[http://boisson.homeip.net/ubuntu/pool/karmic/i386/camllight_0.81_i386.deb |.deb]] | [[http://boisson.homeip.net/ubuntu/pool/lucid/i386/camllight_0.81-1_i386.deb | .deb ]]  | [[http://boisson.homeip.net/ubuntu/pool/maverick/i386/camllight_0.81-1_i386.deb | .deb ]]| [[http://boisson.homeip.net/ubuntu/pool/natty/i386/camllight_0.81-1_i386.deb | .deb ]]|[[http://boisson.homeip.net/ubuntu/pool/oneiric/i386/camllight_0.81-1_i386.deb | .deb ]]|[[http://boisson.homeip.net/ubuntu/pool/precise/i386/camllight_0.82-2_i386.deb | .deb ]]|[[http://boisson.homeip.net/ubuntu/pool/quantal/i386/camllight_0.82-3_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/raring/i386/camllight_0.82-3_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/saucy/i386/camllight_0.82-3_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/trusty/i386/camllight_0.82-4_i386.deb | .deb ]]|[[http://boisson.homeip.net/depot/pool/utopic/i386/camllight_0.82-4_i386.deb | .deb ]]|
^ 64 bits | [[http://boisson.homeip.net/ubuntu/pool/hardy/amd64/camllight_0.81_amd64.deb|.deb]]  |  [[http://boisson.homeip.net/ubuntu/pool/intrepid/amd64/camllight_0.80_amd64.deb|.deb]] |  [[http://boisson.homeip.net/ubuntu/pool/jaunty/amd64/camllight_0.81_amd64.deb|.deb]] | [[http://boisson.homeip.net/ubuntu/pool/karmic/amd64/camllight_0.81_amd64.deb|.deb]] | [[http://boisson.homeip.net/ubuntu/pool/lucid/amd64/camllight_0.81-1_amd64.deb | .deb]] | [[http://boisson.homeip.net/ubuntu/pool/maverick/amd64/camllight_0.81-1_amd64.deb | .deb]]| [[http://boisson.homeip.net/ubuntu/pool/natty/amd64/camllight_0.81-1_amd64.deb | .deb]]| [[http://boisson.homeip.net/ubuntu/pool/oneiric/amd64/camllight_0.81-1_amd64.deb | .deb]]| [[http://boisson.homeip.net/ubuntu/pool/precise/amd64/camllight_0.82-2_amd64.deb | .deb]]| [[http://boisson.homeip.net/ubuntu/pool/quantal/amd64/camllight_0.82-3_amd64.deb | .deb]]| [[http://boisson.homeip.net/depot/pool/raring/amd64/camllight_0.82-3_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/saucy/amd64/camllight_0.82-3_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/trusty/amd64/camllight_0.82-4_amd64.deb | .deb]]|[[http://boisson.homeip.net/depot/pool/utopic/amd64/camllight_0.82-4_amd64.deb | .deb]]|

Ces paquets contiennent jusqu'à la version 0.82-3 le mode tuareg **pour emacs**. Il est préférable de l'installer avant : **[[apt>emacs]]**. À partir de la version 0.82-4 (nécessaire pour trusty), le passage à emacs24 a rendu nécessaire le mode tuareg d'ocaml et donc l'installation de ce mode dans une version dédiée fournie par le paquet camltuareg-mode (pour donc camllight version 0.82-4 et plus)

La version 0.81 corrige entre autres un bug entraînant un segfault dans la librairie graphique pour la fonction text_size.
La version 0.81-1 contient un mode «toplevel» caml_all permettant de disposer en mode interactif des librairies libunix, libnum et libgraph en même temps (sur une suggestion de Dang Nguyen Bac). Cette version est disponible sous Lucid, Maverick et suivantes.
La version 0.82 corrige un bug important dans la gestion des pages mémoires qui entraînait l'impossibilité de profiter de la totalité de la mémoire (seuls 512K étaient utilisés). La version 0.82-1 améliore l'efficacité du code [j'ai mis cette version le 17 Avril 2013] et les versions 0.82-2 et 0.82-3 corrigent deux bugs dans la librairie big_num. [mis en place 6 Mai 2013]. La version 0.82-4 concerne l'utilisation d'un mode tuareg plus récent mis dans un paquet à part (à partir de trusty).

Il peuvent aussi s'installer par apt-get via le dépôt non signé suivant :

<file>deb http://boisson.homeip.net/ubuntu/ hardy divers</file>

ou le dépôt signé :

<file>deb http://boisson.homeip.net/depot/ quantal divers</file>

NB : Remplacez "hardy" ou "quantal", par la version que vous utilisez.

__La signature s'obtient par__ 
<code>gpg --keyserver pgpkeys.mit.edu --recv-key D78A5C23CEA8D8FF</code>
qui récupère la clef sur le serveur de clef et :
<code>gpg -a --export D78A5C23CEA8D8FF > /tmp/clef.txt</code>
puis sous root :
<code>apt-key add /tmp/clef.txt</code>

===== Utilisation avec la librairie "graphics"=====

Pour lancer Caml avec la librairie "graphics", il faut lancer :

<code>camllight camlgraph</code> ou bien plus simplement avec la version 0.81-1
<code>camllight caml_all</code> qui charge toutes les extensions (camlnum, camlunix, camlgraph, etc)
<note>Si vous avez fait des installations foireuses de CaML Light précédemment, il se peut que vous devez soit remplacer camllight par /usr/bin/camllight, soit simplement supprimer /usr/local/bin/camllight.</note>

Une fois lancé, il faut commencer par : 
<code>load_object "graphics";;</code>

et enfin le fameux :
<code>#open "graphics";;</code>

autre particularité pour lancer une fenêtre il faut désormais taper : 
<code>open_graph " 800x600";;</code>

Surtout ne pas oublier l'espace après les premiers guillemets !

Voilà vous êtes équipé pour programmer en CaML!!

==== Exemple ====

<code>load_object "graphics";;
#open "graphics";;
open_graph " 100x50";;
moveto 15 20;;
draw_string "!!BONJOUR!!";;</code>

Une commande pour compiler le fichier toto.ml

<code>camlc -custom unix.zo graphics.zo  -lunix -lgraph -ccopt -L/usr/X11R6/lib -lX11 -o toto toto.ml</code>

===== Editeur de texte avec caml light =====
On peut utiliser principalement deux éditeurs : [[Gedit]] et [[Emacs]]

==== Gedit ====

[[Gedit]] est un très bon éditeur de texte pour faire des programmes en CaML Light.

=== Coloration syntaxique ===

Pour colorier le texte vous pouvez aller dans **Affichage > Mode de coloration > Source > Objective Caml**

<note tip> Si vous enregistrez votre fichier avec l'extension .ml et que vous l'ouvrez ensuite avec [[Gedit]], la couleur sera automatiquement activée</note>

=== Lancer vos programmes Caml dans un panneau inférieur ===

<note important>Le mode interactif ne marche pas avec [[Gedit]], si vous voulez faire de l'interactif, utilisez [[emacs]] (voir [[caml_light#emacs|plus bas]]).</note>

- Commencez par activer le greffon via **Édition** > **Préférences** > onglet **Greffons** > Cocher **Outils externes**.
  - Allez ensuite, dans **Outils** > **Gérer les outils externes**. Faites "**Nouveau**", et rentrez ce que vous voulez en nom, description et raccourci clavier. En "**Entrée**" (ou "**Input**"), choisissez "**Document actuel**". En "**Sortie**" (ou "**Output**"), choisissez "**Afficher dans le panneau inférieur**". En "**Applicability**", choisissez "**Tous les documents**".
  - En commande, trois possibilités : 
   * mettre <code>#!/bin/sh

cat "$GEDIT_CURRENT_DOCUMENT_PATH" | camllight</code> (les guillemets permettent d'empêcher que d'éventuels espaces contenus dans le chemin de votre fichier actuel soient interprétés comme des séparateurs de commandes).
   * mettre <code>tee fichier_de_sauvegarde.ml | camllight</code> (par exemple tee /media/disque_externe/fichier.ml | camllight ou alors tee /home/utilisateur/fichier.ml). Une fois cela effectué, vous pouvez rentrer votre programme en caml light et pour l'exécuter, lancez la commande que vous avez créée précédemment. 
<note tip>La commande "tee" permet de faire une sauvegarde automatique à chaque exécution dans l'emplacement de sauvegarde, et camllight permet d'exécuter le programme  \\ Si vous ne souhaitez pas enregistrer automatiquement à chaque exécution, rentrez en commande uniquement camllight</note>
<note tip>Au moins depuis la version 10.10 (peut-être avant ?), il suffit de rentrer en commande "camllight". Cela à l'avantage d'exécuter la version actuelle du programme affichée dans l'éditeur et non la dernière version enregistrée. Pour enregistrer automatiquement le programme à chaque exécution, il suffit alors de choisir l'option Enregistrer : Document actuel</note>
   * mettre <code>#!/bin/sh
i=0
for file in $(ls *$GEDIT_CURRENT_DOCUMENT_NAME-*.ml|sort -r)
do
let i=1+$i
if [ $i -ge 15 ]
then
rm $file
fi
done

echo $(echo $GEDIT_CURRENT_DOCUMENT_PATH);
tee $(echo $GEDIT_CURRENT_DOCUMENT_NAME)-$(date +%s).ml | camllight;</code>
Cette commande fonctionne sur le même principe que la précédente, sauf qu'elle enregistre chaque sauvegarde indépendamment des autres en rajoutant à chaque sauvegarde un numéro. Plus le numéro est grand, plus la sauvegarde est récente. Et en plus, cette commande supprime les sauvegardes trop anciennes (elle conserve uniquement 15 sauvegardes au maximum).

==== Emacs ====

Pour faire des programmes avec caml light, on peut aussi utiliser [[emacs]]. Le mode tuareg est installé en même temps que le paquet emacs dans une version adaptée à camllight. emacs appelle par défaut «camllight camlgraph» ou «camllight caml_all» lors de l'évaluation de la première phrase caml par Ctrl-c Ctrl-b ou Ctrl-x Ctrl-e. Le premier permet d'avoir la librairie graphique, caml_all permet d'avoir toutes les librairies usuelles accessibles.

Tuareg peut s'installer à part dans sa forme originale mais théoriquement c'est inutile si on utilise les paquets camllight sauf depuis trusty où le paquet camltuareg-mode est indispensable.

Pour installer tuareg, il y a trois méthodes :

* Première méthode recommandée

Installer le paquet [[apt://camltuareg-mode|camltuareg-mode]] :

sudo apt-get install camltuareg-mode

Pour l'utiliser il suffit d'éditer un fichier avec l'extension .ml ou bien de faire Alt+x puis
'' camltuareg-mode ''
Emacs se mettra en mode caml. Il L'évaluation du buffer se fait par Ctrl-c, Ctrl-b. L'évaluation de la fonction/expression sur laquelle est le curseur se fait par Ctrl-x, Ctrl-e.

* Deuxième méthode: utilisation du mode tuareg original.

Le paquet tuareg-mode est adapté à ocaml, mais peut s'utiliser avec camllight. Il suffit d'installer le paquet [[apt://camltuareg-mode|tuareg-mode]]. Lors de la première compilation il vous sera demandé en bas de la fenêtre de renseigner la librairie, entrez ''ocaml'' ou ''camllight'' selon le langage choisi. Votre instruction sera alors compilée.

* Troisième méthode (obsolète)

On peut aussi installer [[http://users.info.unicaen.fr/~bourdon/dochtml/mode-caml/| caml-mode pour emacs]].

Lancer [[emacs]] et faire Alt-x puis taper
'' caml-mode ''
Ensuite, faire la procédure caml dans l'éditeur de texte [[emacs]] et pour l'évaluer, faire Ctrl-c,Ctrl-e. Puis rentrer ''camllight'' dans la barre du bas d'[[emacs]].

<note warning>"caml-mode" est prévu pour programmer en ocaml, si vous l'utilisez pour camllight des bugs peuvent apparaître (en particulier, n'affiche pas les exceptions et se met à mouliner)</note>

==== Vim ====

Le script bash vimcaml donne une interface du type wincaml avec vim.
Il doit être exécuté dans un terminal et ouvre alors un deuxième terminal dans lequel se lance vim. Dans le premier se lance camllight.
En utilisant la touche 'ù' (configurable) dans vim, le paragraphe (morceau de code démarquée par un saut de ligne de part et d'autre) sous le curseur est alors envoyé à camllight et exécuté. La touche 'è' (configurable aussi) exécute le fichier entier.
Ce script nécessite que camllight - pour lequel les instructions sont données plus haut, gnome-terminal et vim soient installés.

Télécharger ici: http://mxpgrm.free.fr/vimcaml-26-02-2011.tar.gz.tar.gz

Pour le lancer, il faut d'abord le rendre exécutable en exécutant "chmod a+x vimcaml" dans un terminal ou en allant à l'onglet "permissions" de la fenêtre "propriétés" du fichier. Le script doit impérativement être exécuté dans un terminal.
Si vous exécutez une boucle infinie, allez dans la fenêtre de camllight et entrez Ctrl + c ; vous pouvez alors continuer normalement.

----

http://caml.inria.fr/caml-light/release.fr.html

===== Problèmes connus =====
==== À l'installation ====
Il est possible, sous Quantal (12.10) au moins, que l'installation révèle un bug du gestionnaire de sources de logiciels, software-properties-gtk, dû probablement à un plantage du module utf-8.

Un post sur le forum existe sur le sujet : [[http://forum.ubuntu-fr.org/viewtopic.php?id=1102821&p=2]]

Rapportez-vous aux posts #29, #30 pour plus d'infos :)

PS : Je suis encore la discussion donc n'hésitez pas à y poser vos questions si nécessaire ;)

Merci de recopier le code ci-contre pour prouver que vous êtes humain : D P L V S Merci de laisser ce champ vide :

Résumé

Note : En modifiant cette page, vous acceptez que le contenu soit placé sous les termes de la licence suivante : CC Paternité-Partage des Conditions Initiales à l'Identique 3.0 Unported