Disclamer: je ne connais pas bien OCaml, par contre je commence à accumuler les projets en lisp, alors je me permet de partager mes expériences.
Tout d'abord, le Lisp a une syntaxe extrêmement simple que l'on maîtrise en 10 minutes :
(commande argument1 argument2 argument3)
Un programme en Lisp n'étant qu'une liste d'expressions, on peu manipuler un programme en Lisp comme une donnée quelconque. Ce qui est un avantage pour faire de l'IA (voir le PAIP de Peter Norvig [1] qui est très impressionnant).
Certains critique le trop grand nombre de parenthèses. En fait, elles permettent de délimiter très clairement chaque expression. Par exemple, ce n'est pas nécessaire de connaître l'ordre d'évaluation des différents opérateurs. Comparer :
1+2+3+4+5+6 à (+ 1 2 3 4 5 6)
et 2*3+4*5 à (+ (* 2 3) (* 4 5)).
D'autre part, tout bon éditeur de texte permet de repérer les parenthèses correspondantes et d'indenter correctement le code.
Avec un peu d'habitude, on ne vois plus les parenthèses. De plus, ce qui me manque quand je recode avec d'autres langages, c'est la sélection d'expression : on sélectionne la 1ère parenthèses, on saute à la parenthèse correspondante et on manipule tout le bloc.
Ensuite, le Lisp est très expressif, on utilise en général des noms longs et signifiant ce qu'ils font.
Par exemple: (first '(toto titi plop)) renvoie toto.
Ou pour la gestion des fichiers :
(with-open-file (stream "my-file.txt" :direction :output :if-exists :supersede)
(format stream "j'écris ça dans my-file.txt~%"))
Les macros sont un des gros point fort du Lisp : on peut étendre le langage pour le modeler à ce que l'on veut faire.
Par exemple, je retrouve assez souvent la forme suivante pour la gestion de personnages dans un MUD qui envoi un message à tout les personnages sauf au personnage qui envoi le message :
(dolist (cible (contenu (trouve-contenant perso *monde*)))
(when (and (perso-p cible)
(not (eql cible perso)))
(send-to-perso cible "bla bla bla")
bla bla bla))
plutôt que de répéter (à l'infini et par copier/coller) ce code, j'ai juste écrit la macro suivante :
maintenant, pour envoyer un message à tout les autres personnages, j'ai juste à écrire :
(do-for-all-perso (cible perso)
(send-to-perso cible "bla bla bla")
bla bla bla)
Les macros sont extrêmement puissantes et permettent d'adapter le langage. Certains les utilisent pour créer des langages spécifiques à leurs domaines d'applications, d'autre par exemple pour avoir la notation infix [2] dans leur programme.
Pour plus de détails sur les macros, la lecture de OnLisp [3] de Paul Graham est un bon point de départ.
Un autre reproche que l'on peut faire au Lisp est qu'il n'a pas de typage statique. Personnellement je trouve que le typage dynamique procure une souplesse très appréciable. Toujours pour l'exemple du MUD, un personnage pourra commencer une partie en tant que simple paysan (la classe paysan) et au cours du jeu acquérir de l'expérience et devenir un magicien (on le change de classe et sa classe devient magicien).
Un autre usage qui revient assez couramment est que l'on peut faire des fonctions qui agirons différemment suivant le type de ces arguments. Exemple :
(defun ma-fonction-add (x y)
(typecase x
(integer (+ x y))
(string (concatenate 'string x y))))
et on l'appelle de la manière suivante :
(ma-fonction-add 2 3) renvoie 5
(ma-fonction-add "Toto" "Titi") renvoie "TotoTiti"
De plus, le Lisp est un langage typé (pour ceux qui en doute). on peut soit attendre un type particulier grâce aux asserts ou aider le compilateur grâce à des directives du type
(defun toto (x y)
(declare (type fixnum x y))
bla bla)
Les grands nombres (bignums) sont un autre avantage du Lisp.
Essaye de calculer factoriel 1000 (exemple bateau...) :
(defun fact (n)
(if (= n 1)
1
(* n (fact (1- n)))))
(fact 1000) renvoie un nombre de 2569 chiffres. La seule limite pour n étant la taille de la mémoire.
Bon, je m'arrête là, mais on pourrait aussi parler du système d'exception (thow / catch) ou de CLOS le système objet du Lisp, ou de pleins d'autres notions (memoisation[4]) qui sont tout aussi magnifiques !
Et pour finir, je trouve que le Lisp me permet de faire des programmes de manière simple et rapide tels que je les pense : le langage ne se met pas dans mes pattes et ne m'impose aucune restriction ou obligation sur ce que je devrais faire...
"Greenspun's Tenth Rule of Programming: any sufficiently complicated C or Fortran program contains an ad hoc informally-specified bug-ridden slow implementation of half of Common Lisp." - Philip Greenspun
(load "/chemin/vers/wb-line-number.el") dans le fichier .emacs,
puis M-x wb-line-number-toggle
(Et si vous avez un doute, vous pouvez utiliser les 2 en parallèle :) )
Pour répondre au poste au dessus :
Le format des lignes peut-être changé avec la variable 'setnu-line-number-format' avec setnu.el et 'wb-line-number-format-string' pour wb-line-number-toggle : rien n'est hardcoded tout est configurable... ;-)
Mon IP : 192.168.0.6 sur cette machine (mais je suis pas sur que ça te serve à grand chose) et sinon le mot de passe c'est pas «test» mais «toto1234». Oups...
<ma vie>Le client mail du GLMF 75 n'ayant pas supporté les ~2000 mails de retour de vacances. Pauvre Canvas 2000*(2*boutons+3*labels) c'était trop pour lui.</ma vie>
Donc, j'ai légèrement modifier l'interface pour qu'elle supporte un nombre quelconque de mails (le nombre de boutons est fixe).
Et au passage, j'ai rajouté une interface en ligne de commande (REPL du Lisp) accessible depuis le terminal ou par telnet ou par un navigateur internet (ce qui permet de faire tourner clmail sur une machine peu puissante sans écran et d'avoir quand même une interface graphique pour accéder à ses mails depuis n'importe quelle machine d'un réseau (mais attention aux problèmes de sécurité et à bien régler sont firewall)).
Il peut exporter les documents en TSV (tab separeted values) => le contenu peut être lu avec n'importe quel tableur. On peut imprimer le buffer directement depuis Emacs. Et je me suis fait une petite moulinette pour transformer le TSV en tableau Latex.
Les macros s'ecrivent en lisp (ça peut-être rebutant pour certain mais c'est extrêmement pratique pour moi (qui suis fan de Lisp)).
Enfin, voila, j'en suis très content pour gérer mes notes.
Mouais, à ce compte là, autant l'écrire en lisp comme indiqué dans le poste juste au dessus : comme ça les balises sont fermées automatiquement :)
(loop for n from 100 downto 1 do
(format t "~A bottles of beer on the wall " n)
(format t "~A bottles of beer " n)
(format t "Take one down, and pass it around... ")
(format t "~A bottles of beer on the wall~%" (- n 1)))
Ou pour faire vraiment dans le même style quand XML:
(defun my-print (&rest args)
(format t "~{~A~}" args))
(loop for n from 100 downto 1 do
(my-print n " bottles of beer on the wall ")
(my-print n " bottles of beer ")
(my-print "Take one down, and pass it around... ")
(my-print (- n 1) " bottles of beer on the wall" #\Newline))
Si aucun programme ne prend en charge la fenêtre racine, tu devrais voir des petites bêtes qui se planquent sous tes fenêtres.
Essaie de les ralentir :
$ xroach -speed 0.05 -squish
Sinon, évite d'utiliser la gestion du fond d'ecran par rox-filer (donc pas d'option pinboard) ou autre.
J'ai vu passé, il y a quelques temps, une note venant du réctorat indiquant que les licences de MS Office ne serai pas renouvellées (trop chères) et qu'il fallait utiliser OpenOffice à la place.
Resultats dans mon lycée, tout le monde se met à OpenOffice et on nous a même proposé une formation.
Par contre, le chef de labo ne veut toujours pas entendre parler de (GNU/)Linux :(
Tout ceci à Beauvais (dans l'Oise).
On peut aussi noter que l'on peut couper les fenêtres en deux, les touches etant les même que celle d'emacs (C-x 2 / C-x 0 ou 1 / C-x o).
Et cerise sur le gateau, on peut même naviguer dans le Common Lisp Hyper Spec (la doc du Common Lisp) en tapant juste "clhs " dans la barre d'URL (l'espace est important) ou dans le Wikipedia.
Bref, c'est une autre maniere de naviguer avec firefox.
Pour en rajouter une couche, vous pouvez definir la macro qui permet d'aller à la ligne, incrémenter le nombre et rajouter les espaces/zero automatiquement :
(fset 'copy-to-nextline-and-inc
[?\C- C-right ?\M-w down home ?\C-y ? home ?\C-c ?i ?0])
(global-set-key (read-kbd-macro "C-c C-M-i") 'copy-to-nextline-and-inc)
Vous partez avec la liste :
01 - toto
- plop
- plouf plip
- foo bar
vous placez le curseur sur le 01 et un simple C-u 3 C-c C-M-i et plaf, voici la liste automatiquement numérotée :
01 - toto
02 - plop
03 - plouf plip
04 - foo bar
PS: chez moi, la macro inc serait plutôt :
(fset 'inc
[?\C-c ?\C-i C-backspace])
PPS: après avoir enregistré la macro avec C-x ( et C-x ), le code est obtenu avec la fonction insert-kbd-macro.
# Retour d'expériences [long]
Posté par hocwp (site web personnel) . En réponse au journal Lisp et caml. Évalué à 10.
Tout d'abord, le Lisp a une syntaxe extrêmement simple que l'on maîtrise en 10 minutes :
(commande argument1 argument2 argument3)
Un programme en Lisp n'étant qu'une liste d'expressions, on peu manipuler un programme en Lisp comme une donnée quelconque. Ce qui est un avantage pour faire de l'IA (voir le PAIP de Peter Norvig [1] qui est très impressionnant).
Certains critique le trop grand nombre de parenthèses. En fait, elles permettent de délimiter très clairement chaque expression. Par exemple, ce n'est pas nécessaire de connaître l'ordre d'évaluation des différents opérateurs. Comparer :
1+2+3+4+5+6 à (+ 1 2 3 4 5 6)
et 2*3+4*5 à (+ (* 2 3) (* 4 5)).
D'autre part, tout bon éditeur de texte permet de repérer les parenthèses correspondantes et d'indenter correctement le code.
Avec un peu d'habitude, on ne vois plus les parenthèses. De plus, ce qui me manque quand je recode avec d'autres langages, c'est la sélection d'expression : on sélectionne la 1ère parenthèses, on saute à la parenthèse correspondante et on manipule tout le bloc.
Ensuite, le Lisp est très expressif, on utilise en général des noms longs et signifiant ce qu'ils font.
Par exemple: (first '(toto titi plop)) renvoie toto.
Ou pour la gestion des fichiers :
(with-open-file (stream "my-file.txt" :direction :output :if-exists :supersede)
(format stream "j'écris ça dans my-file.txt~%"))
Les macros sont un des gros point fort du Lisp : on peut étendre le langage pour le modeler à ce que l'on veut faire.
Par exemple, je retrouve assez souvent la forme suivante pour la gestion de personnages dans un MUD qui envoi un message à tout les personnages sauf au personnage qui envoi le message :
(dolist (cible (contenu (trouve-contenant perso *monde*)))
(when (and (perso-p cible)
(not (eql cible perso)))
(send-to-perso cible "bla bla bla")
bla bla bla))
plutôt que de répéter (à l'infini et par copier/coller) ce code, j'ai juste écrit la macro suivante :
(defmacro do-for-all-perso ((perso cible) &body body)
`(dolist (,cible (contenu (trouve-contenant ,perso *monde*)))
(when (and (perso-p ,cible)
(not (eql ,cible ,perso)))
,@body)))
maintenant, pour envoyer un message à tout les autres personnages, j'ai juste à écrire :
(do-for-all-perso (cible perso)
(send-to-perso cible "bla bla bla")
bla bla bla)
Les macros sont extrêmement puissantes et permettent d'adapter le langage. Certains les utilisent pour créer des langages spécifiques à leurs domaines d'applications, d'autre par exemple pour avoir la notation infix [2] dans leur programme.
Pour plus de détails sur les macros, la lecture de OnLisp [3] de Paul Graham est un bon point de départ.
Un autre reproche que l'on peut faire au Lisp est qu'il n'a pas de typage statique. Personnellement je trouve que le typage dynamique procure une souplesse très appréciable. Toujours pour l'exemple du MUD, un personnage pourra commencer une partie en tant que simple paysan (la classe paysan) et au cours du jeu acquérir de l'expérience et devenir un magicien (on le change de classe et sa classe devient magicien).
Un autre usage qui revient assez couramment est que l'on peut faire des fonctions qui agirons différemment suivant le type de ces arguments. Exemple :
(defun ma-fonction-add (x y)
(typecase x
(integer (+ x y))
(string (concatenate 'string x y))))
et on l'appelle de la manière suivante :
(ma-fonction-add 2 3) renvoie 5
(ma-fonction-add "Toto" "Titi") renvoie "TotoTiti"
De plus, le Lisp est un langage typé (pour ceux qui en doute). on peut soit attendre un type particulier grâce aux asserts ou aider le compilateur grâce à des directives du type
(defun toto (x y)
(declare (type fixnum x y))
bla bla)
Les grands nombres (bignums) sont un autre avantage du Lisp.
Essaye de calculer factoriel 1000 (exemple bateau...) :
(defun fact (n)
(if (= n 1)
1
(* n (fact (1- n)))))
(fact 1000) renvoie un nombre de 2569 chiffres. La seule limite pour n étant la taille de la mémoire.
Bon, je m'arrête là, mais on pourrait aussi parler du système d'exception (thow / catch) ou de CLOS le système objet du Lisp, ou de pleins d'autres notions (memoisation[4]) qui sont tout aussi magnifiques !
Et pour finir, je trouve que le Lisp me permet de faire des programmes de manière simple et rapide tels que je les pense : le langage ne se met pas dans mes pattes et ne m'impose aucune restriction ou obligation sur ce que je devrais faire...
Enfin, un lien pour démarrer : http://www.algo.be/clr.html
Et une petite citation pour alimenter le troll :
"Greenspun's Tenth Rule of Programming: any sufficiently complicated C or Fortran program contains an ad hoc informally-specified bug-ridden slow implementation of half of Common Lisp." - Philip Greenspun
[1] http://www.norvig.com/paip.html
[2] http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/l(...)
[3] http://www.paulgraham.com/onlisp.html
[4] http://en.wikipedia.org/wiki/Memoisation
# QIV : Quick Image Viewer
Posté par hocwp (site web personnel) . En réponse au journal Affichage lent de photos. Évalué à 1.
http://www.klografx.net/qiv/
[^] # Re: Numeroter les lignes sous emacs
Posté par hocwp (site web personnel) . En réponse au message [Éditeur/Vim] Numeroter les lignes sous vi. Évalué à 1.
Pour avoir le même resultats que sous VI, il faut plutôt utiliser :
* LineNumbers ( http://www.emacswiki.org/cgi-bin/wiki?LineNumbers )
(load "/chemin/vers/setnu.el") dans le fichier ~/.emacs,
puis M-x setnu-mode
ou
* wb-line-number ( http://homepage1.nifty.com/blankspace/emacs/elisp.html )
(load "/chemin/vers/wb-line-number.el") dans le fichier .emacs,
puis M-x wb-line-number-toggle
(Et si vous avez un doute, vous pouvez utiliser les 2 en parallèle :) )
Pour répondre au poste au dessus :
Le format des lignes peut-être changé avec la variable 'setnu-line-number-format' avec setnu.el et 'wb-line-number-format-string' pour wb-line-number-toggle : rien n'est hardcoded tout est configurable... ;-)
[^] # Re: Sécuriser vos terms
Posté par hocwp (site web personnel) . En réponse au message [Terminal] Sécuriser vos terms. Évalué à 1.
C-espace au debut de la première ligne à commenter
on va au debut de la dernière ligne à commenter
puis C-x r t # <entrée>
(ce qui appel la fonction string-rectangle qui remplace le contenu d'un rectangle par une chaine de caractères).
[^] # Re: Je comprends pas...
Posté par hocwp (site web personnel) . En réponse au journal Quelque chose de malsain dans le monde du desktop libre. Évalué à 2.
ou de mettre en commentaires les differents essais que tu as fait pour y revenir plus tard s'ils convenaient mieux...
[^] # Re: Mandriva, KDE et LSB
Posté par hocwp (site web personnel) . En réponse au journal Quelque chose de malsain dans le monde du desktop libre. Évalué à 2.
http://home.earthlink.net/~lab1701/larswm//larswm_ss.png
http://hocwp.free.fr/sA.gif
http://home.earthlink.net/~lab1701/larswm/ (site officel)
http://hocwp.free.fr/larswm.html (page française (pub :) ))
[^] # Re: Excellente idée!
Posté par hocwp (site web personnel) . En réponse à la dépêche Envie de "kliker" ?. Évalué à -1.
[^] # Re: Excellente idée!
Posté par hocwp (site web personnel) . En réponse à la dépêche Envie de "kliker" ?. Évalué à 4.
# Suivi de l'article du client mail en Lisp de GLMF
Posté par hocwp (site web personnel) . En réponse à la dépêche Revue de Presse - septembre 2005. Évalué à 7.
<ma vie>Le client mail du GLMF 75 n'ayant pas supporté les ~2000 mails de retour de vacances. Pauvre Canvas 2000*(2*boutons+3*labels) c'était trop pour lui.</ma vie>
Donc, j'ai légèrement modifier l'interface pour qu'elle supporte un nombre quelconque de mails (le nombre de boutons est fixe).
Et au passage, j'ai rajouté une interface en ligne de commande (REPL du Lisp) accessible depuis le terminal ou par telnet ou par un navigateur internet (ce qui permet de faire tourner clmail sur une machine peu puissante sans écran et d'avoir quand même une interface graphique pour accéder à ses mails depuis n'importe quelle machine d'un réseau (mais attention aux problèmes de sécurité et à bien régler sont firewall)).
Enfin, voila, le tout est ici : http://hocwp.free.fr/glmf/article_clmail/clmail-v2/(...) pour ceux que ça intéresse...
[^] # Re: Inclure un environnement unix?
Posté par hocwp (site web personnel) . En réponse à la dépêche Sortie de la FramaKey 1.0.1. Évalué à 3.
En vrai, ça ressemble à ça :
http://hocwp.free.fr/temp/screen.png(...) : version graphique
http://hocwp.free.fr/temp/screen-2.png(...) : version texte
Il peut exporter les documents en TSV (tab separeted values) => le contenu peut être lu avec n'importe quel tableur. On peut imprimer le buffer directement depuis Emacs. Et je me suis fait une petite moulinette pour transformer le TSV en tableau Latex.
Les macros s'ecrivent en lisp (ça peut-être rebutant pour certain mais c'est extrêmement pratique pour moi (qui suis fan de Lisp)).
Enfin, voila, j'en suis très content pour gérer mes notes.
[^] # Re: Inclure un environnement unix?
Posté par hocwp (site web personnel) . En réponse à la dépêche Sortie de la FramaKey 1.0.1. Évalué à 3.
http://home.comcast.net/~jyavner/ses/(...)
[^] # Re: XS : programmez en XML
Posté par hocwp (site web personnel) . En réponse au journal Commencer à programmer ?. Évalué à 1.
(loop for n from 100 downto 1 do
(format t "~A bottles of beer on the wall " n)
(format t "~A bottles of beer " n)
(format t "Take one down, and pass it around... ")
(format t "~A bottles of beer on the wall~%" (- n 1)))
Ou pour faire vraiment dans le même style quand XML:
(defun my-print (&rest args)
(format t "~{~A~}" args))
(loop for n from 100 downto 1 do
(my-print n " bottles of beer on the wall ")
(my-print n " bottles of beer ")
(my-print "Take one down, and pass it around... ")
(my-print (- n 1) " bottles of beer on the wall" #\Newline))
[^] # Re: Mon cas ...
Posté par hocwp (site web personnel) . En réponse au journal Commencer à programmer ?. Évalué à 2.
[^] # Re: Faut pas faire chier les francais !
Posté par hocwp (site web personnel) . En réponse au journal Série d'explosions dans les transports Londonien. Évalué à 5.
[^] # Re: J'ai eu les mêmes :)
Posté par hocwp (site web personnel) . En réponse au journal Démonter un écran LCD ?. Évalué à 2.
Essaie de les ralentir :
$ xroach -speed 0.05 -squish
Sinon, évite d'utiliser la gestion du fond d'ecran par rox-filer (donc pas d'option pinboard) ou autre.
# J'ai eu les mêmes :)
Posté par hocwp (site web personnel) . En réponse au journal Démonter un écran LCD ?. Évalué à 5.
C'est pas grave, il suffit de cliquer dessus et il disparaissent :)
/me compatissant.
[^] # Re: Au lycée aussi
Posté par hocwp (site web personnel) . En réponse à la dépêche OpenOffice.org recommandée pour la future STG. Évalué à 1.
Resultats dans mon lycée, tout le monde se met à OpenOffice et on nous a même proposé une formation.
Par contre, le chef de labo ne veut toujours pas entendre parler de (GNU/)Linux :(
Tout ceci à Beauvais (dans l'Oise).
[^] # Re: Excellente cette extension !
Posté par hocwp (site web personnel) . En réponse au journal conkeror: une extension Mozilla pour les alergiques de la souris. Évalué à 1.
[^] # Re: Excellentes cette extension !
Posté par hocwp (site web personnel) . En réponse au journal conkeror: une extension Mozilla pour les alergiques de la souris. Évalué à 2.
Chouette trouvaille effectivement :)
# Excellentes cette extension !
Posté par hocwp (site web personnel) . En réponse au journal conkeror: une extension Mozilla pour les alergiques de la souris. Évalué à 3.
On peut aussi noter que l'on peut couper les fenêtres en deux, les touches etant les même que celle d'emacs (C-x 2 / C-x 0 ou 1 / C-x o).
Et cerise sur le gateau, on peut même naviguer dans le Common Lisp Hyper Spec (la doc du Common Lisp) en tapant juste "clhs " dans la barre d'URL (l'espace est important) ou dans le Wikipedia.
Bref, c'est une autre maniere de naviguer avec firefox.
[^] # Re: graphie
Posté par hocwp (site web personnel) . En réponse au journal Comparaison visuelle. Évalué à 5.
[^] # Re: Pour débuter...
Posté par hocwp (site web personnel) . En réponse à la dépêche Peter Seibel : Practical Common Lisp. Évalué à 1.
# Quelques liens de plus
Posté par hocwp (site web personnel) . En réponse à la dépêche Peter Seibel : Practical Common Lisp. Évalué à 4.
Les références :
http://www.lispworks.com/documentation/HyperSpec/Front/index.htm(...)
http://www-2.cs.cmu.edu/Groups/AI/html/cltl/cltl2.html(...)
Les portails :
http://www.lisp.org/(...)
http://www.cliki.net/(...)
http://common-lisp.net/(...)
http://planet.lisp.org/(...)
Le Common Lisp CookBook :
http://cl-cookbook.sourceforge.net/index.html(...)
Les tutoriels :
http://cs.gmu.edu/~sean/lisp/LispTutorial.html(...)
http://www.lisperati.com/(...)
Et des articles en vracs :
Pascal Costanza's Highly Opinionated Guide to Lisp :
http://www.informatik.uni-bonn.de/~costanza/lisp/guide.html(...)
A Retrospective on Paradigms of AI Programming - Peter Norvig
http://www.norvig.com/Lisp-retro.html(...)
The Right Tool For The Job - Sam Steingold
http://www.podval.org/~sds/tool.html(...)
Et les excellents essais de Paul Graham :
http://www.paulgraham.com/(...)
# Numérotation automatique d'une playlist
Posté par hocwp (site web personnel) . En réponse au message [Éditeur/Emacs] Incrément. Évalué à 1.
(fset 'copy-to-nextline-and-inc [?\C- C-right ?\M-w down home ?\C-y ? home ?\C-c ?i ?0]) (global-set-key (read-kbd-macro "C-c C-M-i") 'copy-to-nextline-and-inc)Vous partez avec la liste : vous placez le curseur sur le 01 et un simple C-u 3 C-c C-M-i et plaf, voici la liste automatiquement numérotée : PS: chez moi, la macro inc serait plutôt :(fset 'inc [?\C-c ?\C-i C-backspace])PPS: après avoir enregistré la macro avec C-x ( et C-x ), le code est obtenu avec la fonction insert-kbd-macro.[^] # Re: Finances...
Posté par hocwp (site web personnel) . En réponse au journal 3939, parce qu'ils ne vallent rien..?. Évalué à 2.