December 2010 - PFA - Listes du LIPN

Examen: j'ai publié l'énoncé et la solution...
by Luca Saiu 17 Dec '10

17 Dec '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 ...sur la page web du cours: http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2010/ J'ai aussi ajouté un lien à l'énoncé du projet que vous avez sur papier. 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.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk0LSiQACgkQvzOavibF0oZCrwCeOdZ9+z1jL/48n9ssqapbr9Hc O44Ani/ZNZFohOMZ5aFYvx5fhvfkCTCu =BNfR -----END PGP SIGNATURE-----

1 0

Projet
by Jean-Yves Moyen 16 Dec '10

16 Dec '10

Bonsoir, j'ai (enfin) fini par écrire le sujet pour le projet de PFA. Vous le trouverez sur ma page web : http://www-lipn.univ-paris13.fr/~moyen/Enseignement/current/PFA/projet.pdf Avec toutes mes excuses pour ce retard, il aurait été préférable de distribuer ce sujet en novembre :-( -- Cordialement, Jean-Yves Moyen

1 0

Re: [PFA] Exercice PFA
by Luca Saiu 15 Dec '10

15 Dec '10

Quoting "Zahir ADJIJALY" <adj.zahir(a)gmail.com>: > Bonjour, > > Je voulais vous demander si vous pouvez nous donner des exercices > pour préparer l'examen. > Ainsi nous aurons un aperçu de l'examen type. > D'avance merci. Bonjour. L'examen de l'année dernière est déjà en ligne, bien visible sur la page du cours et avec la solution aussi : http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2010/ Cordialement, -- Luca Saiu ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.

1 0

Énoncé et solution de l'examen écrit de l'année dernière
by Luca Saiu 13 Dec '10

13 Dec '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. Au moins un étudiant avait demandé une copie de l'énoncé et de la solution de l'année dernière. Je ai juste publié les fichiers sur la page web du cours : http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2010/ 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.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk0GNeUACgkQvzOavibF0oZk2gCeL9wNv854YgefMf1B6eh/XVCS w3kAn2yRfR4wqU2MG4KEOVKh0F9ypmZg =DthJ -----END PGP SIGNATURE-----

1 0

Examen écrit le 17 décembre de 9h à 12h en F004
by Luca Saiu 10 Dec '10

10 Dec '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. J'ai juste été informé sur le lieu et sur l'horaire exact de l'examen écrit. J'ai aussi mise à jour la page web : http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2010/ 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.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk0B6WUACgkQvzOavibF0oaVsACfdDM/LGz6fpmhcMMugvyvKBxF DHcAoK8K29u6F6nh8oX1RAzXCOnYJ7Oh =JLJZ -----END PGP SIGNATURE-----

1 0

Cette liste existe
by Luca Saiu 03 Dec '10

03 Dec '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Il n'y a pas beaucoup d'inscriptions à la liste, même si je l'ai mentionnée au cours, et il y a une section bien visible dédiée à la liste sur la page web du cours : http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2010/ Je vais en parler encore pendant la dernière séance, mais s'il-vous-plaît rappelez ça à vos camarades aussi. 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.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkz45u0ACgkQvzOavibF0oZyggCfe9uG8PfLx5i9G7sXwwSEBoEW pa0AmQHYXpBCYbMiKbp6HJjEhuUoMjD/ =6Fxe -----END PGP SIGNATURE-----

1 0

Re: [PFA] Exercise: trouver un bug‏
by Luca Saiu 01 Dec '10

01 Dec '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Mourad Gouja a localisé correctement 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.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkz2k2UACgkQvzOavibF0obVGwCcDzbQkEkS9QKXo/PHjfioIJFd FIUAn3paSjgiIqoIlkED7xu/zKeldC8f =S0sB -----END PGP SIGNATURE-----

1 0

Exercise: trouver un bug
by Luca Saiu 01 Dec '10

01 Dec '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 J'ai juste trouvé un bug : la version courante de TrivialML accepte le programme suivant, clairement pas bien typé : let x : int = 1 in x + True Trouvez l'erreur dans le fichier type_checking.ml ; pourquoi le contrôle de type passe ? Si Jean-Yves est d'accord, j'aimerais donner un petit bonus sur la note finale au premier étudiant donnant la réponse correcte. - -- 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/ iEYEARECAAYFAkz2V14ACgkQvzOavibF0obfeQCfelijrkVH4Jnq93/XA50ttTTL gbEAniYbXh/WRze/t+cSFr8v6sraj9Xg =tS48 -----END PGP SIGNATURE-----

2 1

Code source de TrivialML
by Luca Saiu 01 Dec '10

01 Dec '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. J'ai juste mise à jour la page du cours avec la nouvelle version de TrivialML qui contient aussi le contrôle de type statique et le couples : http://www-lipn.univ-paris13.fr/~saiu/teaching/PFA-2010 Je vous rappelle encore une fois que ajouter le support pour les opérateurs unaires serait un bon exercice. Le parseur supporte déjà les sélecteurs «left» et «right» sur les couples et l'opérateur booléen «not»: il faut modifier juste le contrôle de type et l'interpréteur. J'ai aussi corrigé l'erreur dans «Typing "TrivialML"» : la version électronique que vous trouvez sur le site mantinent contient la règle [lambda] correcte. Je m'excuse encore une fois pour la confusion. 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.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkz2JrcACgkQvzOavibF0oaE1wCdF1a1Vk0cJqncqmkO1yV3twnF hX8AoKVz+iC5fU4453ZHp6m0U6D3+JAD =pVQc -----END PGP SIGNATURE-----

1 0