Lea Linux - Contributions [fr]

OCaml

2006-02-27T14:40:23Z

Wazo : Ajout de liens utiles pour l'apprentissage d'Ocaml / Ajout dans l'introduction d'Hévéa

{{ En Construction }}
= Le language Ocaml =

== Introduction ==

Le language Ocaml est développé en France par une équipe de chercheurs de l'[http://www.inria.fr INRIA], dont la plupart utilisent (et contribuent activement) à Linux et au logiciel libre. Il est utilisé par une communauté croissante, aussi bien dans le monde académique (de nombreux chercheurs prototypent leurs idées en Ocaml) ou universitaire (son prédécesseur Caml est enseigné en classe prépa, premier cycle) que dans le monde industriel (dans des petites startup comme dans des grosses multinationales). Ocaml est language fonctionnel et à objets, avec un typage statique (et inférence de types). À cet égard il est assez différent des languages habituels sous Linux (comme C, C++, Perl, Python). Il existe plusieurs grosses applications développées en Ocaml -aussi bien libres que propriétaires-. Une application libre potentiellement utile à beaucoup est '''Unison''' pour synchroniser (càd copier) des fichiers entres machines différentes, disponible [http://www.cis.upenn.edu/~bcpierce/unison/ ici]. Il y aussi '''Advi''' (visualiseur pour fichiers dvi produits par LaTeX) qui permet notamment de faire de beaux transparents (y compris avec des formules de mathématiques, de l'animation, des fenêtres de démo de logiciels) disponible [http://pauillac.inria.fr/advi/ ici], le paquet Whizzytex (utilisant advi) pour visualiser immédiatement en temps quasi réel un document LaTeX pendant son édition et [http://pauillac.inria.fr/~maranget/hevea/ HeVeA], un convertisseur de LaTeX vers le html.

== L'implémentation d'Ocaml ==

Le language Ocaml a sa page [http://caml.inria.fr ici]. Son implémentation est libre. Il y a en réalité plusieurs variantes d'implementation (partageant du code en commun):

l'interprète interactif dit ''toplevel'', par la commande '''ocaml'''; le principal intérêt d' '''ocaml''' est de tester '''interactivement''' une (ou quelques) nouvelles fonctions (éventuellement rajoutées à un gros programme existant); l'interprète interactif compile chaque phrase tapée en du code octet, puis l'execute. Il y a aussi un débogueur '''ocamldebug'''

le compilateur vers du code-octet ''bytecode compiler'', par la commande '''ocamlc''' (le code-octet produit a sa machine virtuelle propre '''ocamlrun'''; ce code octet est différent de ceux de Java, Lua ou Parrot).

le compilateur natif (sur AMD64, x86, PowerPC, Sparc etc...) ''native compiler'', par la commande '''ocamlopt'''. Les programmes compilés avec ocamlopt s'exécutent à peu près aussi rapidement que leur équivalent C ou C++.

Il existe une communauté grandissante de développeurs Ocaml. Le '''Ocaml Hump''' [http://caml.inria.fr/cgi-bin/hump.fr.cgi ici] contient une collection croissante de logiciels et bibliothèques libres codé(e)s en Ocaml; on peut développer des applications Web (avec Wdialog par exemple), interfacer des SGBDs, invoquer des appels systèmes etc... Ocaml est très puissant (et originellement développé) pour le traitement symbolique de l'information: compilateurs, démonstrateurs de théorèmes, etc..

=== quelques exemples de code Ocaml ===

Bien sûr, le hello world:

<code>(* hello world en Ocaml *)
print_string "hello world\n";;</code>

Les commentaires sont à la Pascal entre (* et *) et peuvent être imbriqués. Ce fichier peut-être édité (par exemple avec Emacs ou Xemacs en mode tuareg) puis sauvegardé dans hello.ml

Les arguments d'une fonction (ici print_string) suivent le nom de la fonction, sans parenthèses. Un certain nombre de fonctions (en fait de valeurs fonctionnelles) sont prédéfinies, de sorte qu'on n'a pas besoin (au contraire de C) de requérir explicitement l'accès à la bibliothèque standard d'Ocaml.

On peut sauvegarder ce fichier de 2 lignes dans hello.ml puis le compiler par
ocamlc hello.ml -o hello qui produit un binaire de code octet (portable tel quel sur beaucoup d'architectures). On aurait pu le compiler avec le compilateur natif: ocamlopt hello.ml -o hello

on peut aussi utiliser l'interprète interactif (toplevel); on peu taper les phrases sur plusieurs lignes, mais le double point-virgule est indispensable pour terminer la phrase. Les entrées de l'utilisateur sont ici en italiques; tout le reste (y compris le % et le #) sont sortis par la machine.
<code>% ocaml
Objective Caml version 3.09.1

# 2 + 3;;
- : int = 5</code>

Ici apparait un trait essentiel du langage Ocaml: l''''inférence de types''' (ou synthèse de type). Chaque expression entrée (ou compilée) est analysée par le compilateur qui devine (infère) son type. Le compilateur donne le type inféré (ici le type entier ''int'' sur 31 bits -un bit de moins que la taille du mot machine), calcule la valeur de l'expression, puis l'imprime (ici ''5''). L'inférence de types prend tout son intérêt sur des programmes non triviaux (plus d'une centaine de lignes) dont elle permet la concision (en évitant la plupart des déclarations de type, comme on le fait en C, C++, Java...).

Sous le toplevel, on peut demander la compilation (interactive) d'un fichier, par la directive #use:
<code># #use "hello.ml";;
hello world
- : unit = ()
</code>

le fichier hello.ml a été compilé puis exécuté, donc le message hello word est imprimé. Toutes les expressions Ocaml ont une valeur (à l'inverse de C ou Pascal, où procedures et fonctions sont différentes), et les fonctions qui n'ont qu'un effet de bord (par exemple une impression) renvoie une valeur de type ''unit'' - cette valeur (la seule du type unit) est notée ()

les fonctions sont des valeurs comme les autres: Ocaml est un langage fonctionnel, et des fonctions peuvent prendre comme arguments ou renvoyer comme résultat d'autres fonctions. Pour interroger le type d'une valeur, il suffit de la taper; voici comment demander la fonction print_string:
<code># print_string;;
- : string -> unit = < fun ></code>

La valeur d'une fonction n'est pas affichée (c'est techniquement une fermeture, c'est à dire la juxtaposition de code executable et des valeurs qu'il utilise); Ocaml affiche donc le type string -> unit de la fonction print_string: c'est une fonction qui prend un argument chaine et renvoie unit.

On peut définir des valeurs par le mot-clé '''let'''. Par exemple
<code># let dix = 5*2;;
val dix : int = 10</code>
définit une valeur nommée dix de type int valant 10

On peut définir des valeurs fonctionnelles (c'est à dire des fonctions) par exemple
<code># let double x = 2*x;;
val double : int -> int = <fun> </code>
Le compilateur a inféré le type de la fonction double: son argument x est nécessairement entier, car il est multiplié par 2 et que la multiplication est une opération sur les entiers; son résultat est entier, car c'est le résultat produit par la multiplication. Une fois compilé par ocamlopt, la fonction ci-dessus est aussi efficace que celle écrite en C!

On peut définir des fonctions récursives par la construction '''let rec''' - voici l'inévitable factorielle et le calcul de 10!

<code># let rec fact n = if n < 1 then 1 else n * fact (n-1);;
val fact : int -> int = < fun >
# ''fact 10;;''
- : int = 3628800</code>

Voici l'une des plus simples des recursivités croisées (le mot-clé and lie plusieurs définitions) - les fonctions paire et impaire
<code># let rec paire n = if n = 0 then true else impaire (n-1)
and impaire n = if n = 0 then false else paire (n-1) ;;
val paire : int -> bool = <fun>
val impaire : int -> bool = <fun> </code>
le compilateur tient compte du fait que ces recursions sont terminales; l'appel recursif à impaire dans la définition de pair (et réciproquement) est la dernière application de fonction, et il est interprété itérativement (sans grossir la pile des appels). On peut donc calculer
<code># paire 123456789;;
- : bool = false</code>
le résultat est calculé en quelques secondes, la machine a bouclé plus d'un milliard de fois. Les compilateurs classiques (par exemple C, C++, Java) aurait fait exploser la pile d'appel.

En fait on peut réécrire la factorielle de manière récursive terminale en définissant une fonction interne à 2 arguments: le résultat partiel (produit précédemment calculé p) et l'argument n

<code>#'let fact n =
let rec interne_fact p n = if n < 1 then p else interne_fact (p*n) (n-1)
in interne_fact 1 n;;
val fact : int -> int = <fun></code>

On peut dans une expression définir des noms '''internes''' par la construction let .''..définitions internes...'' in ''....corps.....'' (ou let rec ... in .... pour une recursion).

la factorielle ainsi redefinie est compilée en du code identique à la fonction C
''int factc(int n) { int p=1; while(n>1) p=p*(n--);return p; }''

La plupart des boucles s'écrivent en fait par une telle récursion terminale interne. Il faut noter que les variables dans tous les exemples ci-dessus sont des paramètres qui ne changent pas: on a rarement besoin d'affectation en Ocaml.

En fait on peut aussi coder de manière '''impérative''', avec des variables qui varient (comme en C ou Java), qu'on appelle référence:
<code># let fact n = let p = ref 1 and c = ref 1 in
'' while !c <= n do p := !p * !c ; incr c done; !p;; </code>
l'affectation à une référence se note := et la déréference est explicitée par un point d'exclamation. La fonction incr incrémente une réference vers un entier

(((à suivre)))

== Poursuivre sur Ocaml ==

Convaincus ? Voici quelques liens qui pourront vous aider dans l'appentissage de ce langage :

* Pour ceux qui connaissent d'autres langages, les articles Wikipédia pour différencier [http://fr.wikipedia.org/wiki/Programmation_fonctionnelle programmation fonctionnelle] et [http://fr.wikipedia.org/wiki/Programmation_imp%C3%A9rative programmation impérative] ;
* [http://www.france-ioi.org/cours_caml/| un cours de Caml à l'usage des débutants en programmation] (français). Consulter également la page pour [http://www.france-ioi.org/cours_caml/cours_avances.php des cours plus avancés] (anglais/français) ;
* [http://caml.inria.fr/pub/docs/manual-ocaml/index.html le manuel de référence d'Ocaml] (anglais) ;
* la version en ligne du livre [http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/ Développement d'applications avec Objective Caml] (français, autrement [http://www.oreilly.fr/catalogue/2841771210.html disponible aux éditions O'Reilly]).

{{Copy|9/11/2005|[[Utilisateur:Basiles|Basiles]]|CC-BY-SA}}

Discussion:Intro-wannapenguin

2005-11-02T15:53:12Z

Wazo :

Bonsoir,

Changer le titre passe encore, économisons nous le débat pingouin vs manchot (je ne trouve cependant pas ça très élégant). Mais ajouter des liens en vrac comme cela est fait à la fin, juste après une note demandant le respect formel de la doc, tout de même (au passage le lien vers distrowatch est déjà donné dans l'intro) !

Tous les gens qui ont contribué à ce document s'y sont pliés afin de fournir un contenu informatif (ce que les liens en tant que tels ne font absolument pas) tout en respectant une neutralité affichée comme un objectif de ce wiki. Ces liens seraient donc plus à leur place sur une page-annuaire extérieure.

Bref, vous êtes bien sûr totalement libres de modifier cette doc comme vous l'entendez: c'est votre '''droit plein et entier'''. Néanmoins j'attire votre attention sur le fait que cette liberté vous a été accordée comme '''une marque de confiance et de respect''', ce d'autant plus qu'il est difficile d'envisager une vie pour ce document hors un site comme Léa.

En vous remerciant d'y songer,
Seb.
:J’ai ajouté ces liens, dans le même ordre que les distributions : l’ordre alphabétique. Je suis resté sobre, et ajouté quelques distributions actuellement en vue mais au second plan. Tu penses que cette partie devrais être déplacée, si oui dans quelle page ? [[Utilisateur:Nicola|Nicola]] 29 oct 2005 à 22:00 (CEST)

::C'est certes sobre, mais la section "comment lire cette présentation" présente un formulaire qui fait tout l'intérêt du contenu de l'article.

::Donner juste des liens ne rime pas à grand chose àmha, autant aller sur distrowatch (à la limite créer une page "annuaire francophone", mais bon ça correspond à une entrée du formulaire)... Il faut voir que cet article vise à guider quelqu'un de plutôt débutant : "Debian live" ou "basée sur Slackware", je ne pense pas que ça lui dise quoi que ce soit.

::Je ne pense pas non plus qu'il faille parer le formulaire de toute les vertus, maisil me paraît tout de même avoir un certain intérêt : forcer les gens à être explicites et contribuer ainsi à faire ressortir les caractéristiques de leur distribution. Ainsi on n'enverra pas un p'tit gars qui n'en veut sur une distribution user-friendly, ni quelqu'un qui a besoin d'être rassuré dans le noir du mode console.

::Seb.

:Je pense que ce que veut dire Seb (dis moi si je me trompe) c'est qu'il aurait mieux valu ajouter un paragraphe par distribution dont tu as ajouté les liens plutôt que le liens seulement. Si c'est bien ça je suis assez d'accord avec lui : un liste de lien n'a pas vraiment lieu d'être dans ce document, plutôt un lien vers la section de l'annuaire correspondante. Pour de qui est de la polémique à propos du titre, effectivement, c'est discutable de changer le titre, ceci dit je doute que cela ai été fait dans le but de nuire ni à l'article ni à l'auteur, ni même de le déposséder de son travail. Personnellement, quand j'ai vu la modification faite par Nicola, je ne me suis pas dit : alors, là nicola déconne, il manque vraiment de respect pour le travail de Seb. Faudrait peut-être pas voir un manque de respect là où il n'y en a pas. Si Seb tient au titre avec "pingouin", je ne vois pas de raison de ne pas le mettre : après tout, c'est lui l'initiateur de ce document et son titre est convenable. [[Utilisateur:Fred|Fred]]

::C'est bien ça : il aurait fallu créer des paragraphes conformes au formulaire. Il faut bien voir que les gens qui ont bossé sur cet article étaient tous des membres convaincus de chapelles différentes et qu'il n'y a pourtant eu aucun problème au final. Il y a donc une possibilité d'équilibre sous cette forme un peu rigide. Si on introduit les contributions sous d'autres formes, on le brise et surtout on est déloyal avec ceux qui se sont pliés au formulaire (c'est dans ce cadre seul que je parle de respect).

::De plus l'intérêt informatif est non seulement dans le contenu de chaque entrée, mais aussi et surtout dans la comparaison proposée. Le contenu peut se retrouver sur les forums à la limite, mais l'avoir de manière organisée et un un seul tenant pour chaque distribution fait tout l'intérêt de cet article.

::Il faut donc préserver la structure formelle de celui-ci sinon il perd sa raison d'être. Ça ne veut pas dire qu'il n'est pas modifiable, juste que les modifications doivent être répliquées dans tout le formatage : vous pouvez rajouter/enlever des entrées au formulaire, augmenter le nombre de valeurs admises par certaines entrées si vous trouvez qu'elles ne sont pas assez fines, etc... mais de même pour toutes les distributions présentée.

::Enfin, dernière chose sur l'esprit de wannapenguin, il n'a jamais été pensé pour être exhaustif. Les entrée des forums de Léa ont été reprises car c'est ce que voit le débutant en arrivant ici (il y a peu de chances qu'il démarre sous une distribution-source, avouez... ) Avant d'ajouter une nouvelle distrib' mieux vaut donc se demander si c'est un nom auquel le débutant va être souvent confronté (ajouter Ubuntu, par exemple, ne me choquerait pas). Le but est en fait qu'il se fasse une petite cartographie des distributions revenant souvent dans les forums (cet article est d'ailleurs à la base un outil pour le forum...).

::Pour le titre, maintenant, j'ai juste dit que je ne trouvais pas ça ''élégant''. Je veux dire que c'est un parti pris, pas une correction, le troll pengouin vs manchot devant exister au moins en trois éditions sur les forums de Léa. Donc, je pourrais m'amuser à redresser le titre à mon tour dans le sens que je veux, ce ne serait ni plus ni moins justifié. C'est tout. En fait le seul petit soucis c'est que si le lien vers cette doc a été donné avec son titre original, ça peut faire bizarre.

::Au-delà de tout ça tant que vous respectez les licences, vous faites ce que vous voulez. D'une manière général je ne fais que rappeler l'esprit dans lequel les choses on été faites, il n'y a dans mon propos rien de coercitif.
::Seb.

Discussion:Intro-wannapenguin

2005-11-02T15:52:34Z

Wazo : 4 sur 5

Discussion:Intro-wannapenguin

2005-10-29T20:47:55Z

Wazo : Certes sobre

Lea Linux:Bienvenue

2005-10-29T18:10:11Z

Wazo :

= Bienvenue sur le wiki de Léa =

== Histoire ancienne ==

Léa (« Linux Entre Amis »), comme vous le savez peut-être, est un site d’aide à l’utilisation de Linux en particulier et des logiciels libres en général.

Au départ, Léa était un site personnel créé par Serge. Il était presque totalement développé en HTML.

=== Histoire récente ===

Léa a grandi et grossi, aidée en cela par de nouveaux amis (Jicé, puis Fred, puis Anne, puis Maston28, Jiel, prae, ST). Au commencement, les outils de gestion de site n'était pas si nombreux et performants qu'ils l'ont été par la suite. Nous avons choisi de développer une solution à nous avec des outils à nous. Mais au fur et à mesure que Léa a grossi, elle est devenue de plus en plus difficile à maintenir. D'autre part, le temps libre de chacun n'étant pas extensible à l'infini, il est devenu évident que nous ne pouvions plus nous contenter de nos outils « maison », aussi attachés que nous l'étions à notre bébé. Une transition s'imposait.

=== Quelques problèmes ===

Le problème était que l'on ne souhaitait pas jeter le bébé avec l'eau du bain et en particulier que nous ne voulions pas que tout ce que nos amis et contributeurs nous avaient apporté disparaisse. C'est ce qui a retardé pendant assez longtemps (plus d'un an) la transition. De plus, nous étions assez divisés quant à l'avenir de Léa, mais aussi sur l'éventuel format à utiliser pour la migration.

En parallèle aux réflexions de fond, nous vîmes partir vers d'autres horizons le fondateur de Léa, Serge. Le Groupe de travail Slackware pour Léa, qui contribua pendant plus d'un an, se dispersa aux quatre vents pour essaimer sur le net.

== Vers le wiki ==

=== Un début de solution ===

Il nous fallait relancer le site, en même temps que gérer l'existant. En juillet 2005, comme tous les ans depuis 2001, Léa a participé aux Rencontres Mondiales du Logiciel Libre (oui, le titre est légèrement pompeux, mais on y rencontre effectivement beaucoup de monde venant de beaucoup d'endroits différents). Au cours de ces rencontres, on nous a fait comme à l'habitude un certains nombres de remarques, critiques ou félicitations. La critique qui est le plus souvent revenue était qu'il était pratiquement impossible de contribuer simplement à Léa. En effet, personne ne veut corriger une erreur d'orthographe en éditant un document HTML de plusieurs dizaines de kilo-octets. Dans le même temps, nous avons eu une discussion fructueuse avec l'une des personnes qui s'occupent de la communication concernant le projet d'encyclopédie libre [http://fr.wikipedia.org/ Wikipédia], wiki tournant sous [http://mediawiki.org/ Mediawiki].

Cette discussion a abouti à l'idée que, moyennant quelques aménagements, Mediawiki était une solution permettant de régler un certain nombre des problèmes soulevés plus haut.

=== Au travail ===

Durant le mois d’août, nous avons étudié la faisabilité d’une migration vers Mediawiki ; arrivés à la conclusion que c’était possible, nous avons, durant les mois de septembre et octobre, procédé à l’écriture des outils nécessaires à la migration (conversion HTML-Léa vers la syntaxe wiki, insertion de pages via la ligne de commande, création d’un cache complètement statique, outils d’administration du cache, etc.)

Enfin, est venue la phase de test en grandeur nature pendant laquelle plusieurs utilisateurs habituels de Léa (et nicola en particulier) nous ont aidés à tester le joujou et à corriger un certain nombre des erreurs les plus criantes.

=== Début d'une nouvelle histoire ===

Cette fois, ça y est Léa est devenue un [[wiki]].

L'objectif de Léa reste la rédaction de documentation simple et claire pour l'utilisateur débutant ou plus.

Merci d'avance de vos contributions.

Discussion:Intro-wannapenguin

2005-10-29T17:09:36Z

Wazo :