Projet PARA
Click
here for the english version
Efuns/GwML
Efuns est un petit éditeur de texte, totalement écrit en Objective-Caml.
Comparé à Emacs, il présente les intérèts suivants:
- Contrairement à Emacs qui utilise Lisp pour s'étendre, Efuns utilise
Objective-Caml. Les avantages de Caml par rapport à Lisp sont nombreux.
En particulier, le typage statique permet d'être sûr de la correction d'
un module avant de le charger dans l'éditeur. Il peut bien sûr compiler un
module et l'intégrer immédiatement "ocaml-eval-buffer".
- Comme Efuns est écrit en Caml, les modules de configuration peuvent
ensuite être directement intégrés dans le sources dès qu'ils ont été
suffisament vérifiés.
- Efuns est moins gourmand qu'Emacs en ressources (mémoire, CPU).
- Efuns intègre de très nombreuses fonctionnalités d'Emacs (undo,
minibuffer, accents, compilation avec recherche d'erreurs, regexps,
indentation, complétions,...) et quelques modes (TeX, Caml, HTML,
Makefile, ...). Comme il n'est né qu'en octobre 1998, il lui laisse encore
bien du temps pour progresser.
- Son interopérabilité avec Caml est très importante. Il peut charger
des fichiers binaires Caml pour y puiser des informations (fichiers
compilés par exemple). Ainsi, em mode Caml, il intègre déjà une fonction
"ocaml-print-type" qui lui permet d'afficher le type d'une valeur d'un
module déjà compilé.
- Il peut utiliser des modules générés par Ocamllex et Ocamlyacc, ce
qui lui permet d'analyser les fichiers sources bien plus efficacement
qu'Emacs.
- Et bien d'autres à découvrir ...
Le package Efuns contient aussi:
Version 015:
- La librairie WXlib (une librairie d'objets
graphiques qui peuvent être utilisés pour construire des interfaces
pour les programmes Ocaml)
- Efuns intègre des menus, et des scrollbars.
Version 006:
- La librairie Toplevel , pour exécuter des expressions
ocaml dans des programmes en code natif.
- pacman , le célèbre jeux, réécrit par Sylvain
Conchon.
- Une nouvelle option -talk pour GwML, pour accéder aux structures
internes de GwML depuis un toplevel sur stdin/stdout.
Version 005:
- GwML , un window-manager générique, dont
la configuration s'écrit en Ocaml.
Versions précédentes
- La librairie Xlib , une implementation du
protocol X en Ocaml, plus Xpm (pixmaps), Xshade (shaded windows), Xrm (
ressources), etc ...
- La librairie AsmDynlink , une
implementation de Dynlink qui marche aussi avec les programmes natifs.
Sur ce CDROM, vous trouverez:
Vous pouvez aussi rechercher les dernières versions sur notre site WEB.
Adresse et rapports de bug: Fabrice.Le_fessant@inria.fr