A quand un topic Lisp/Scheme/Caml ? - Divers - Programmation
Marsh Posté le 30-11-2004 à 18:59:04
Marsh Posté le 30-11-2004 à 19:19:06
Citation : A quand un topic Lisp/Scheme/Caml ? |
Quand y'aura des questions à ce sujet ?
Marsh Posté le 30-11-2004 à 20:17:27
Bonne question Mais je suis sur que beacoup n'osent simplement pas
Marsh Posté le 06-12-2004 à 17:42:08
ReplyMarsh Posté le 06-12-2004 à 22:56:24
Ouais
Marsh Posté le 13-01-2005 à 15:42:49
Chronoklazm a écrit : Il manquent plus qu'un topic sur les languages fonctionels et interpretés...
|
t'as réussi à comprendre cette phrase ou toujours pas ?
parce que, de souvenirs, je connais chacun des éléments mais je n'arrive pas à assembler.
Les fermetures permettent d'obtenir (par application récursive) l'ensemble des couples valeur-résultat possibles pour une fonction donnée.
l'environnement étendu, je crois comprendre que c de la substitution
mais "la valeur du corps de la fermeture dans l'environnement obtenu" ça reste obscur
j'ai une autre question pour ceux qui font du fonctionnel, du Ocaml en particulier,
faites vous du graphique ? si oui, avec quel outil de développement ?
quels tutoriaux ?
Marsh Posté le 13-01-2005 à 20:04:21
Pour la phrase j'ai compris, c'est beaucoup plus clair en codant
Avant tout il faut savoir qu'une fermeture peut avoir une signification differente, selon qu'on soit dans un language a liaison statique (Scheme) ou dynamique (Lisp et Caml aussi je crois). La difference est que en liaison dynamique la valeur d'une lambda n'est que le texte de la lambda ce qui n'est pas le cas en liaison statique ou on garde un pointeur vers l'environnement de compliation. Une fermeture peut etre vue comme un triplet constitué d'une liste de parametres, d'un corps (une expression) et soit un pointeur vers l'environnement global (liaison statique ou lexicale), soit l'environnement courant (liaison dynamique).
En Scheme une lambda est une fermeture ou plus simplement une "valeur" compacte.
En ce qui concerne la possibilité d'obtenir tous les couples valeur-resultats je pense que ca doit etre plus facile en liaison dynamique (en remontant tous les environements dans l'ordre), mais j'ai jamais fait un truc comme ca en Scheme, si tu as un lien je suis preneur.
PS: Pour le graphisme en Caml j'ai trouvé ca http://www.cs.uwm.edu/classes/cs79 [...] al069.html
Marsh Posté le 30-11-2004 à 18:53:10
Il manquent plus qu'un topic sur les languages fonctionels et interpretés...
Comme ca on pourras tous ensemble partager les joies des map, apply, eval et autres lambdas...
et surtout quelqu'un pourras m'expliquer la signification de :
" Si la procédure à appliquer est une fermeture, le résultat de l'application n'est autre que la valeur du corps de la fermeture dans l'environnement obtenu en étendant celui de la fermeture par les liaisons des paramètres aux valeurs des arguments..."
Arf faut que j'arrete de rever