A quand un topic Lisp/Scheme/Caml ?

A quand un topic Lisp/Scheme/Caml ? - Divers - Programmation

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 :
 

Citation :


 
" 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  :pt1cable:

Reply

Marsh Posté le 30-11-2004 à 18:53:10   

Reply

Marsh Posté le 30-11-2004 à 18:59:04    

[:raziel-92]


---------------
From now on, you will speak only when spoken to, and the first and last words out of your filthy sewers will be "Sir!"
Reply

Marsh Posté le 30-11-2004 à 19:19:06    

Citation :

A quand un topic Lisp/Scheme/Caml ?


Quand y'aura des questions à ce sujet ?
 
 
 
:p


---------------
FAQ fclc++ - FAQ C++ - C++ FAQ Lite
Reply

Marsh Posté le 30-11-2004 à 20:17:27    

Bonne question :) Mais je suis sur que beacoup n'osent simplement pas :D


Message édité par Chronoklazm le 30-11-2004 à 20:18:45
Reply

Marsh Posté le 06-12-2004 à 17:42:08    

Faut forcer l'ouverture d'un topic.


---------------
www.sagis.tk
Reply

Marsh Posté le 06-12-2004 à 22:56:24    

Ouais :o


---------------
Un matin je me lèverai et il fera beau.
Reply

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...
 
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 :
 

Citation :


" 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  :pt1cable:


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 [:w3c compliant]  
 
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 ?


---------------
viendez broder, mon blog et à écouter : la Pause Bad, parlons badminton
Reply

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


Message édité par Chronoklazm le 13-01-2005 à 20:10:17

---------------
Scheme is a programmable programming language ! I heard it through the grapevine !
Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed