- PFA - Listes du LIPN

É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

TP du 25/11
by Jean-Yves Moyen 23 Nov '10

23 Nov '10

Bonsoir, le TP de PFA de jeudi portera sur les modules et les foncteurs. Pensez à réviser et à apporter votre cours sur le sujet pour avoir des exemples de syntaxe sous les yeux... -- Cordialement, Jean-Yves Moyen. http://www-lipn.univ-paris13.fr/~moyen/

1 0

EDT
by Luca Saiu 09 Nov '10

09 Nov '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Plusieurs étudiants m'ont appelé par téléphone en demandant des informations sur l'emploi du temps, donc je donne ici l'emploi du temps définitif. Je ne suis pas informé sur la salle du TP, mais elle est toujours la même. 2010-10-05 Tue 13:45..17:00 PFA CM1 (B107) 2010-10-07 Thu 13:45..17:00 PFA TP1 2010-10-14 Thu 13:45..17:00 PFA TP2 2010-10-19 Tue 13:45..17:00 PFA CM2 (B107) 2010-10-28 Thu 13:45..17:00 PFA TP3 2010-11-04 Thu 13:45..17:00 PFA TP4 2010-11-09 Tue 13:45..17:00 PFA CM3 (B107) 2010-11-16 Tue 13:45..17:00 PFA CM4 (B107) 2010-11-25 Thu 13:45..17:00 PFA TP5 2010-11-30 Tue 13:45..17:00 PFA CM5 (B107) 2010-12-07 Tue 13:45..17:00 PFA CM6 (B107) 2010-12-09 Thu 13:45..17:00 PFA TP6 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 iEYEARECAAYFAkzZMKIACgkQvzOavibF0obNmgCfRp0zzpLxeBKa6B0Rje6kA0tS YsMAn2AEBzZyS/8oDR1/V01FtWPL5MnV =AXyV -----END PGP SIGNATURE-----

1 0

TP du 28/08
by Jean-Yves Moyen 27 Oct '10

27 Oct '10

Bonsoir, demain (jeudi 28/08), je serai en grève (et en manifestation) et je ne serai donc pas présent pour surveiller le TP de PFA. Le sujet du TP se trouve néanmoins sur a page web. Les étudiants qui ne font pas grève peuvent donc le faire. Le contenu du TP sera utile pour le projet qu'on vous donnera par la suite. -- Cordialement, Jean-Yves Moyen. http://www-lipn.univ-paris13.fr/~moyen/

1 0

Re: [PFA] Cours de cette semaine
by Luca Saiu 12 Oct '10

12 Oct '10

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. J'avais marqué ce message comme spam par erreur. Excusez moi :-) Jean-Yves Moyen wrote: > Bonjour, > > comme je l'avais annoncé jeudi, il doit normalement y avoir une > alternance cours/TP en PFA (et pas cours+TP chaque semaine). > > Il n'y aura pas de cours de PFA le mardi 12/10. Il y aura un TP jeudi > 14/10. Je serai peut-être un peu en retard, je dois être à Paris en > milieu de journée, le sujet du TP sera sur ma page web et vous pourrez > commencer à le faire. > - -- 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 iEYEARECAAYFAky0I4wACgkQvzOavibF0oa/aQCfUaR6HZMMPOsi5pd/bcM0qCjy +soAnRWQKqkrAuiPrO8QHhpuUdgKcNNK =dq5a -----END PGP SIGNATURE-----

1 0