- PFA - Listes du LIPN

Projet - Question
by Arnaud Lecointre 31 Jan '11

31 Jan '11

Bonjour, Je rencontre un problème étrange lors de l'implémentation de la mémoire. En effet dans mon *read_val: int -> value *dans le foncteur Dans le cas ou la value est une paire, je renvois* VPair((read_val address+1),(read_val address+3))* Selon le compilateur cette expression est de type Domains.value ce qui est normal et souhaité. Mais le compilateur me sort une erreur de typage: *This expression has type int but is here used with type Domains.value* Si je commente cette ligne, le projet compile correctement sans erreur et le type de read_val est bien *val read_val : int -> value *le value est déclaré avec Domains.value Je ne comprend pas trop l'erreur si présente car cela voudrait dire que dans le cas des booléens et des entiers, je renvoit des entiers hors je renvois bien des valeurs de type value Cordialement. Arnaud Lecointre

3 4

Re: [PFA] Projet OCAML - Master M2 PLS
by Luca Saiu 31 Jan '11

31 Jan '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. Une belle question, très difficile à répondre, que j'aurais aimé recevoir plus tôt. L'interpréteur marche correctement parce que il contient déjà un système de gestion automatique de la mémoire, c'est-à-dire le tracing garbage collector de OCaml : puisque il s'agit d'un système automatique vous n'avez pas remarqué sa présence, mais il est là (en fait il est aussi très complexe), et il fait du travail. Par exemple vous pouvez vérifier que le programme TrivialML suivant ne vas pas occuper toute la mémoire de votre ordinateur, même s'il construit un nombre illimité de couples : =================================================== val build_a_pair_and_loop : int -> int;; let build_a_pair_and_loop = lambda n : int . let useless : int * int = n, n in build_a_pair_and_loop (n + 1);; build_a_pair_and_loop 0 =================================================== Dans la partie 7 on vous demande d'écrire *votre* système de gestion de la mémoire, qui (voire la question 7.6) on pourrait utiliser dans TrivialML au lieu du garbage collector de OCaml. Ne faites pas de la confusion entre environnement et mémoire. J'essaie de vous faire comprendre la distinction entre deux niveaux : - - l'environnement est une structure mathématique, «une fonction», qui a aussi une implémentation dans l'interpréteur. - - la mémoire est le grand tableau de mots (c'est-à-dire nombres) dans votre ordinateur, qui vous pouvez affecter ; tous les objets sur lesquels vous travaillez lorsque vous écrivez des programmes dans n'importe quel langage sont encodés en mémoire. On vous demande, dans la question 7, de simuler la mémoire d'un ordinateur avec un module OCaml. La motivation et toujours la même : on utilise un langage fonctionnel, donc «proche de la mathématique», pour donner des spécifications exécutables. Ce dernier point est subtil, et vous n'êtes pas obligés de le comprendre. La représentation des environnements dans la mémoire de MemLL n'est demandé que dans la question 7.6 (et de façon implicite aussi) ; mais on peut facilement imaginer que l'environnement soit une structure de données aussi (par exemple une liste de couples), et que pourtant on ait besoin de gérer la création et la destruction de ses sous-structures ; pensez, par exemple, à l'environnement comme une liste de couples : il faudra détruire certaines couples de temps en temps ! Et une implémentation réaliste d'un langage fonctionnel probablement utiliserait «la même mémoire» pour les données et l'environnement. Très cordialement, On 01/29/2011 11:37 PM, Nejdet ALTINISIK wrote: > nous ne comprenons pas exactement les modules pour la gestion de la > mémoire de la question 7.2 à 7.4. > Nous comprenons comment implémenter à peu prés la solution, mais nous ne > voyons pas son utilité. Par exemple, une chose vraiement étrange, > nous avons environment défini dans envmodules.ml et utilisé dans les > fichiers par la suite. Comme notre fichier a.out marche correctement, > lors des appels > de fonction, l'interpréteur reconnait les expression et renvoit les > valeurs enregistrées dans environment (chaque fonction définie étant > enregistrée dans > environment - a moins que je me trompe) pour dire que notre syntaxe est > correcte et pour renvoyer la réponse. > Nos questions sont donc : > - A quoi sert MemLL alors que tout marche correctement (Meme si une > separation de la mémoire est présente dans tous les langages et toutes > les machines du monde !) et quand est-il vraiment > appelé ? > - Comment est représenté environment dans cette mémoire à proprement > parlé, ou encore comment il intéragit, ou encore environment n'est-il > plus utile ? > > Pardonnez-moi toutes ces questions, mais on a du mal à cerner cette > partie du projet qui nous semble ambigue. > > 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/ iEYEARECAAYFAk1Gi+QACgkQvzOavibF0oaKWgCfQDDfVpBA4CkScV8Jmdt4YejE /tkAn0NfXCimsg7P6AYoVPHHTQx83qHZ =B43C -----END PGP SIGNATURE-----

1 0

question
by j j 31 Jan '11

31 Jan '11

Bonjour, Lors de la compilation du module EnvCoreList, j'ai l'erreur suivante : Error: Signature mismatch: Modules do not match: sig type value = int type variable = string type 'a environment = (variable * value) list exception Unbound_variable of variable exception Incompatible_environments of variable val empty : 'a list val unbind : 'a -> ('a * 'b) list -> ('a * 'b) list val bind : 'a -> 'b -> ('a * 'b) list -> ('a * 'b) list val is_bound : 'a -> ('a * 'b) list -> bool val lookup : variable -> (variable * 'a) list -> 'a val var_list : ('a * 'b) list -> 'a list end is not included in ENV_CORE Values do not match: val bind : 'a -> 'b -> ('a * 'b) list -> ('a * 'b) list is not included in val bind : variable -> 'a -> 'a environment -> 'a environment ceci est du à quoi?

2 1

Re: [PFA] Projet OCAML - Master M2 PLS
by Luca Saiu 27 Jan '11

27 Jan '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. Je réponds à la liste aussi. On 01/26/2011 10:16 PM, Nejdet ALTINISIK wrote: > pour notre projet, nous arrivons à compiler avec le fichier GO, > cependant, lorsque l'on souhaite l'utiliser, nous obtenons une erreur de > ce genre : > > [..]# ./a.out > ..reading from... > let a = 2;; //un exemple simple, et on appuit sur CTRL+D > Error .... Exception Parsing.parse .. > > On arrive donc pas a utiliser des exemples concrets pour voir si nos > fonctions marchent bien qu'elles compilent. La syntaxe de TrivialML n'est pas identique à la syntaxe de OCaml ; en particulier, un programme TrivialML est toujours composé par une séquence de définitions, et une expression principale. Dans votre exemple il y a une erreur de syntaxe parce que votre programme n'a aucune expression principale. Par contre let a = 2;; a marche. Remarquer qu'il n'y a pas un «;;» à la fin après «a». La grammaire formelle complète du langage est dans le fichier trivialml.mly . > Et aussi, lorsque j'essaye d'utiliser les fichiers separement avec la > ligne de commande comme suit: > [..]# ocaml > .. > #use "envmodules.ml";; > .. > #use "domains.ml"; > ... > #use "trivialml.ml";; > error .. unable to.. global .. Envmodules //excusez moi pour les ... > je ne me rappel plus exactement ce qu il me dit, mais je sais qu'en fait > il ne reconnait pas open Envmodules a la 1ere ligne Vous voulez utiliser l'interprète interactif de OCaml pour tester TriviamlML. Ce n'est pas une mauvaise idée, mais probablement nous n'avons jamais pensé à ça. Je n'ai pas ici une version corrigé du projet, donc je n'ai pas pu tester ça ; mais à mon avis vous pouvez exécuter (*après* la compilation): #load "envmodules.cmo";; #load "domains.cmo";; #load "printer.cmo";; #load "trivialml.cmo";; #load "trivialml_parser.cmo";; #load "trivialml_lexer.cmo";; #load "type_checking.cmo";; #load "main.cmo";; Remarquez que la dernière ligne «#load "main.cmo";;» va démarrer l'interprète de TrivialML : donc à ce point vous devez écrire un programme TrivialML valide (par example juste «42») et taper Ctrl+D, pour aller à l'interprète OCaml. Puis vous pouvez faire, par exemple, open Main et tester. Est-ce que quelqu'un peut confirmer que ça marche ? J'ai testé la procédure équivalente sur une version de TrivialML sans le modifications faites pour le projet. 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/ iEYEARECAAYFAk1BLtkACgkQvzOavibF0obw3gCaA/KKdH3ojPFP1JmFerjYhYY5 nu8Anj7Ve7kPKlJxyUntBBwElkHqYYfU =IzAk -----END PGP SIGNATURE-----

1 0

Date limite pour le projet
by Luca Saiu 13 Jan '11

13 Jan '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour Jean-Yves. Un étudiant a demandé une extension à la date limite du projet. Moi je n'ai aucune objection en principe, mais j'imagine que la réponse dépende aussi du temps nécessaire pour la correction ... Qu'est-ce que tu penses ? - -- 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/ iEYEARECAAYFAk0u/FsACgkQvzOavibF0oYK+wCglxBXoEatS+LQ9KDpYEfUkbVe QjkAnA5uK47lGoCAM61HyspnHYfTwjqz =KmqI -----END PGP SIGNATURE-----

2 1

Re: [PFA] Projet OCAML - Master M2 Informatique- Module PFA
by Luca Saiu 12 Jan '11

12 Jan '11

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour. Je réponds à la liste aussi ; votre problème pourrait être commune à des autres étudiants aussi. On 01/12/2011 02:03 PM, Nejdet ALTINISIK wrote: > Monsieur, > > nous avons un problème pour le projet, et notamment pour les operateurs > unaires. Nous avons dans le fichier trivialml.ml, la fonction ci-dessous : > > let unary_operator operator_name valeur = match > (operator_name,valeur ) with | ("left", int*int ) -> 0;; > > en fait, valeur est soit un int*int, ou soit directement un bool. > Mais lorsque l'on tape notre fonction ci-dessus, le compilateur indique > une erreur : Syntax error: ')' expected, the highlighted '(' might be > unmatched > Si on enlève le int*int et que l'on met int, ca marche mais évidement, > ca n'a plus de sens. Pourriez-vous nous aiguiller. L'erreur de syntaxe est là parce que votre programme est vraiment mal formé, c'est-à-dire il ne respecte pas la grammaire. Regardez la grammaire du langage dans le premier papier que j'ai distribué : int * int n'est pas un motif correct (il s'agit d'un type correct mais vous avez besoin d'un motif, pas d'un type). Le compilateur souligne l'astérisque et la deuxième parenthèse fermée. L'erreur Syntax error: ')' expected, the highlighted '(' might be unmatched est référée à l'astérisque, parce que le parseur a découvert que le programme n'est pas bien formé lorsque il a trouvé l'astérisque : en fait p * p n'est pas un motif bien formé. Probablement vous entendiez p, p . Donc le compilateur a dit : «je m'attendais une parenthèse fermée après «int», mais vous m'avez donné une astérisque». Peut-être ce n'est pas très important dans ce cas, mais remarquez aussi que «int» est un motif bien formé, même si (en tant que motif) il n'a rien à voir avec les entiers : int est aussi une variable comme tous les autres. Exemple : # match 42 with int -> int;; - - : bool = int # match true with int -> int;; - - : bool = true # match ["boo"] with int -> int;; - - : string list = true J'espère vous avoir été utile. 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/ iEYEARECAAYFAk0tsd8ACgkQvzOavibF0oZrhgCfd6GqSuz8VEyjk2ly+vBqCKcs 8dEAn0b7CkHPvlab1wToWO+rXscTIa9H =YZkU -----END PGP SIGNATURE-----

1 1

[Master Info - PFA] Question à propos du projet
by Arnaud Lecointre 10 Jan '11

10 Jan '11

Bonjour, Dans le projet, quand on doit coder le foncteur EnvMake, il faut pouvoir manipuler des environnements (grace à bind_many, merge, merge_disjoint et extend). Autant bind_many est simple car on connait le format d'entrée (une (variable * 'a) list) autant les autres fonctions paraissent plus dur. La seule forme de matching qu'on connaisse est le empty qu'on connait car définit dans chaque module de base. Mais on ne connait pas le type de l'environnement à l'avance et donc agir en conséquence. J'ai beaucoup cherché sur Internet mais je n'ai rien trouvé concernant ce cas précis. Donc comment matcher l'environnement dont on ne connait pas forme dans les fonctions du foncteur ? (ou s'il y a une autre solution) Cordialement. Arnaud Lecointre

3 3

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