- PFA - Listes du LIPN

Re: [PFA] Question sur le projet
by Luca Saiu 07 Jan '12

07 Jan '12

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 01/06/2012 07:12 PM, Florian Lonqueu-Brochard wrote: > J'ai bien avanc=E9 sur le projet mais je bloque sur un point particulier : > les environnements impl=E9ment=E9 comme des fonctions. > J'ai bien trouv=E9 ce code =E9crit en cours : > http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2011/sources/cm4/environ= ment_as_function.ml > Je comprend bien le code de la page ci-dessus ainsi que le fait qu'un > environnement est une function qui prend une variable et renvoi une valeur > ( X -> C) mais je ne comprend pas la subtilit=E9 de cette implementation. > Comment "stocke" t-on les diff=E9rents couples ? Bonjour, et bonne année. Une question assez profonde, qui nécessite d'une réponse complexe. À mon avis votre problème est dû à la comparaison entre l'implémentation «liste» des environnements, et l'implémentation «fonction». Les deux implémentations sont en réalité plutôt différents, et il ne faut pas penser que en générale une fonction puisse stockers des couples de valeurs de la même façon d'une liste. L'explication du fonctionnement d'un «valeur-fonction» est doublement difficile à suivre, parce qu'elle dépende d'un environnement -- mais pas l'environnment que vous êtes en train de réaliser ! Il s'agit de l'environnment au niveau «méta», implémenté dans le compilateur ou l'interprète OCaml. Et cette implémentation méta est similaire, sinon identique, à cela que nous avons vu dans le cas de trivialML (papier sur trivialML, section 3). Pour prévenir cette confusion, au lieu de parler d'une fonction environnement, j'utilise l'exemple d'une fonction somme à deux paramètres, appliquée partiellement. let f x y = x + y;; (* pareil à let f = fun x -> fun y -> x + y *) let g = f 10;; Vous pouvez vérifier que maintenant l'appel (g 3) va donner le résultat 13, ce qui est le résultat raisonnable (10 + 3). Mais la valeur 10 est stockée où, dans g ? C'est exactement votre question, sur un exemple moins complex. La réponse est : l'association entre la variable x et la valeur 10 est retenue dans l'environnement qui est partie de la clôture (ou «fermeture» : «closure» en anglais) qui est partie de l'object fonction que nous avons nommé g. Je répète : en OCaml (ou en trivialML, en Scheme, ou dans n'importe quel langage fonctionnel moderne ayant scoping statique) une fonction est implémentée par une clôture, c'est-à-dire une triple qui contient le nom du paramètre, le corps de la fonction (ce qui est une expression) et l'environnement local qui contient les associations entre variables et valeurs, à utiliser au moment de l'appel. Donc dans notre exemple g est une fonction qui accepte un paramètre y et retourne x + y, dans un environnement local où x est liée à 10. Dans une bonne implémentation, par exemple OCaml (lorsque on utilise le compilateur natif), l'environnement sera réalisé de façon efficace et compacte, avec un tableau ; mais vous pouvez penser qu'il ait toujours une liste de couples <variable, valeur> : il n'y a aucune différence, sauf l'efficacité. Donc une fonction OCaml contient toujours un environnement. Dans notre implémentation d'un environnement par une fonction, nous utilisons ces liaisons contenues dans les clôtures «méta» (ou «natives» d'OCaml), pour stocker les liaisons des variables de l'interprète. J'explique alors environment_as_function.ml : empty représente l'environnement vide (zéro variables liées) : en fait la fonction empty accepte une variable en tant que paramètre, mais elle échoue toujours. extend_with_binding est probablement la fonction plus difficile à comprendre pour vous : regardez son type : il s'agit d'une fonction qui accepte une variable, une valeur et une autre fonction (en particulier, une autre fonction environnement), et enfin retourne encore une autre fonction environnement. Le résultat de extend_with_binding est défini comme une fonction qui accept le nom de variable «x» et qui (au temps de son appel) contrôle si «x» est égale au nom de variable «variable» donné au temps de l'extension : si oui, la fonction anonyme dans résultat de extend_with_binding va donner la valeur «value» donnée au temps de l'extension ; sinon, on va chercher x dans l'environnment «environment» donné au temps de l'extension. Autrement dit, la fonction retournée par extend_with_binding accepte une variable : si la variable est la variable à laquelle nous avons associé une valeur avec l'extension, le résultat sera quelle valeur ; sinon, on cherchera dans l'environnement que nous avons étendu. Et bien sûr, au niveau méta, lorsque vous appelez extend_with_binding avec trois paramètres vous créez une fermeture qui contient un environnement qui contient les valeurs des variables «variable», «value» et «environment» (mais pas de «x»: «x» est le paramètre, pas encore lié). Donc la réponse finale à votre question est ici : les associations entre variables et valeurs sont stockées dans les environnement des fermetures du niveau méta (il y en a une par association), attachées aux variables du niveau méta «variable» et «valeur». lookup est facile : elle accepte une variable et un environnement, et elle cherche la valeur associée à la variable dans l'environnement en appelant l'environnement avec la variable. > J'ai pu en discuter avec 2 de mes camarades (en copie de ce mail) et nous > sommes tous les trois dans la m=EAme impasse. Pourriez-vous nous donner une > piste ? J'espère vous avoir aidé. > Merci d'avance. Très cordialement, - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk8IS5IACgkQvzOavibF0oajqACfcje+rF0joJkGDqleC+g2+olu cUMAoIH0WPNsO56XHUfMZNLzqf0PiZIF =0/VW -----END PGP SIGNATURE-----

1 0

Re: [PFA] Malade
by Luca Saiu 06 Dec '11

06 Dec '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. Malheureusement Jean-Yves Moyen et malade, et il ne pourra pas ^etre l`a cet-apr`es-midi. Je serais au labo `a 13h45, en cas de questions. On 12/06/2011 06:13 AM, Jean-Yves Moyen wrote: > Bonjour, > > je suis malade et je n'ai pas dormi de la nuit. > Du coup, je pourrai pas venir faire le TP de PFA cette après-midi. > Normalement, c'est encore une séance prévue pour qu'ils avancent le projet. > > Est-ce que tu peux prévenir les étudiants que je ne serai pas là (c'est > en F204) ? - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk7d3jwACgkQvzOavibF0oblmgCbBT0p9VHUCLA1LJkZRyDwwvh0 Q/YAn08Uso/x4P5II1FbWvAxMO5VIcdr =KPdZ -----END PGP SIGNATURE-----

1 0

Projet
by Jean-Yves Moyen 23 Nov '11

23 Nov '11

Bonjour, la version finale du projet est sur ma page : http://www-lipn.univ-paris13.fr/~moyen/ j'ai simplifié un peu la signature ENV_FULL, ce qui peut vous permettre de répercuter cette simplification sur le code que vous avez écrit hier. Luca Saiu vous distribuera la version imprimée de l'énoncé mardi prochain. -- Cordialement, Jean-Yves Moyen. http://www-lipn.univ-paris13.fr/~moyen/

2 1

Re: [PFA] Bonus sur la note finale
by Luca Saiu 18 Nov '11

18 Nov '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Je réponds publiquement. [à propos de la question «bonus»] On 11/17/2011 06:43 PM, moumni ferid wrote: > bonsoir , > > je vous remercie, Monsieur, de m'avoir informé.. Oui, vous avez raison. Je n'avais pas prévu une réponse si rapide, et peut-être l'idée d'un bonus «au plus rapide» ne convient pas à nos groupe, dans lequel les étudiants ne sont pas toujours libres au même temps. Je m'excuse. Cette idée n'a pas marché et elle ne peut pas être implémentée de façon égalitaire, donc je ne vais plus l'utiliser à l'avenir. - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk7GCYgACgkQvzOavibF0obnnwCfX926WoFBfLyyzhR1HPc9Pc/n qV0An1lHYFVySQ+w2+DvhAcOP0x6qEkG =Poe3 -----END PGP SIGNATURE-----

1 0

Re: [PFA] Bonus sur la note finale
by Luca Saiu 17 Nov '11

17 Nov '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 11/17/2011 03:31 PM, Joan LLodrà Riera wrote: > Bonjour l'erreur est dans le conditional: > > je pens que vous devez mettre if c1 = B(vrai) then E(e2) else E(e3) Bien sûr. Je voulais donner l'opportunité de bien lire la définition, mais vous avez été très rapide. J'ai juste publié une nouvelle version 2.3 corrigée. - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk7FMgYACgkQvzOavibF0oYUKACeLt5NU68UD+xnF5OsIkwbhkOJ JLUAn2lCSOXmcaAVwUyNrwTupWl67RVu =nN1h -----END PGP SIGNATURE-----

1 0

Bonus sur la note finale
by Luca Saiu 17 Nov '11

17 Nov '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. J'ai juste trouvé une petite erreur dans la définition de la fonction d'évaluation des expressions que j'ai distribué sur papier (et aussi publié à l'adresse http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2011/handouts/trivialml-… ) Je vais assigner un bonus sur la note finale au premier étudiant qui reconnaîtra le problème. - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk7FFn8ACgkQvzOavibF0oZpJACgiMMLH/DP/PnsVfURc3d5syue gCkAniUZSUa7EyRrz2y1F1WhhPik2N1c =20Po -----END PGP SIGNATURE-----

1 0

Emploi du temps changé [Was: Re: PFA]
by Luca Saiu 02 Nov '11

02 Nov '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 11/02/2011 09:50 AM, Jocelyne MACCAGNAN wrote: > Déplacement du cours de PFA du mardi 29/11 au lundi 05/12 de 13h45 à > 17h00 en salle C 307. Merci Jocelyne, et bonjour à tout le monde. Donc le cours du mardi 29 novembre est déplacé au lundi 5 décembre, en C307. J'ai déjà mis à jour la page web : http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2011/ Cordialement, - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk6xGVIACgkQvzOavibF0obcugCfVida6pM1y5pjlZ3QqGUP7NZZ vHMAoKYiF+3u3lJYsDk9fLOLz+WWSrC7 =CLvU -----END PGP SIGNATURE-----

1 0

Bienvenue
by Luca Saiu 27 Sep '11

27 Sep '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. J'ai juste inscrit en masse à la liste les étudiants de PFA 2011 qui m'ont donné leur adresse mail. Il y a encore des inscrits qui on déjà passé l'examen l'année dernière ; aucun problème : la liste est publique, et s'ils sont curieux ou nostalgiques, il peuvent rester. Si vous avez des copains qui viennent au cours mais ils ne sont pas inscrits, dites-leur de s'inscrire. Merci, et bienvenue. - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk6BhoEACgkQvzOavibF0obN9QCfXsfIpxsYnYgtpl+gpNBXH89F VvYAniv3ci051r/OJFvhESpHuupISUVZ =1XSd -----END PGP SIGNATURE-----

1 0

Projets PFA
by Jean-Yves Moyen 02 Feb '11

02 Feb '11

Bonjour, par rapport aux étudiants qui ont passé le partiel, il me manque les projets de * HOUCINE El Mehdi Abderrahim * OULED ABDALLAH Adel * SAID Mbaé Adame * SLIMANI Mohammed * YOUSSEF Sarra * ZHENG Zeda -- Cordialement, Jean-Yves Moyen. http://www-lipn.univ-paris13.fr/~moyen/

2 1

Environnments implémentés avec des fonctions
by Luca Saiu 31 Jan '11

31 Jan '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Monsiuers Diallo et Monsieur Kaba m'ont fait remarquer un problème grave dans l'énoncé. On ne peut pas implémenter la fonction var_list sur des environnement implémentés directement avec des fonctions de la façon intuitive. Par contre c'est possible si l'environnement est défini, au lieu que simplement comme une fonction, comme une couple fonction fois liste des variables - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk1GrvwACgkQvzOavibF0oY7CgCgl0OQtKMxoI3BwYkPOddWWfs1 YHAAnAwNQYdr/yiRGNkXUBfggC/ioeO/ =AELK -----END PGP SIGNATURE-----

1 0