Pattern Matching in Mincaml

Bonjour à tous,

Tout d'abord je tiens à m'excuser si je ne suis pas dans la bonne catégorie.
Dans l'un de mes cours portant sur l'usage de Ocaml / Mincaml il m'est demandé de réaliser un "Unparser" qui prend un Abstract Syntaxt Tree (AST) et renvoie le programme en Ocaml correspondant (si possible bien indenté mais pour l'instant je n'y suis pas encore).

J'ai pour exemple cette string:

Code:

---

"let rec fib n = if n < 2 then 1 else fib (n - 1) + fib (n - 1) in print(fib 5)"

---

qui me donne comme AST ceci:

Code:

---

1 2 3 4 5 6 7 8

LetRec ({name = ("fib", Var {contents = None}); args = [("n", Var {contents = None})]; body = If (Not (LE (Syntax.Int 2, Syntax.Var "n")), Syntax.Int 1, Add (App (Syntax.Var "fib", [Sub (Syntax.Var "n", Syntax.Int 1)]), App (Syntax.Var "fib", [Sub (Syntax.Var "n", Syntax.Int 1)])))}, App (Syntax.Var "print", [App (Syntax.Var "fib", [Syntax.Int 5])]))

---

Mon souci est le suivant. Je n'arrive pas à trouver comment réaliser mon pattern matching pour "découper" cet AST de telle sorte que j'obtienne une string "LetRec" ^ "reste de l'AST". Les pattern matching usuels sur des listes ne s'appliquent pas ici puisque mon AST est de type Syntax.t et je ne trouve pas de solution à mon souci. Le but étant ensuite d'appeler récursivement mon unparser sur le reste de l'AST.

Si quelqu'un a un conseil pour m'aider à avancer, je lui en serais plus que reconnaissant ! :)

Hello,

Le constructeur LetRec prend comme paramètre un couple :
- le premier élément du couple est une structure avec 3 attributs : name, args et body (un AST).
- le deuxième élément du couple est un AST.

Connaissant cette structure de données, tu dois maintenant être capable d'aller chercher l'info dont tu as besoin au bon endroit :

Code:

---

1 2 3 4 5

let afficher_programme programme = match programme with | LetRec (fonction, appel) -> ... (* tu peux accéder aux différents éléments du programme ici *) | (* autres constructeurs ici *)

---

Hello,

Merci bien pour ce message, cela me semble déjà plus clair ! j'ai toutefois un autre problème xD (j'ai beau essayer de me débrouiller comme je peux Ocaml n'est vraiment pas mon point fort)
Une fois récupéré fonction et appel, auxquels j'applique récursivement la fonction d'unparsing, je n'arrive pas à appliquer le pattern matching à la fonction comprenant "name, args, body". Je suppose que mon souci est juste un problème de syntaxe? mais j'ai beau tenter différentes écritures dans mon pattern matching, impossible d'enlever mon message d'erreur... :/

Tu ne peux pas appliquer la même fonction à programme, fonction et appel, ils n'ont pas le même type...
Par contre, tu peux écrire une deuxième fonction (récursive, celle-ci) qui affiche un AST, et que tu appelleras dans afficher_programme.

name et args contiennent des chaînes de caractères, que tu peux directement afficher.

Pardon je m'étais mal exprimé. En fait mon souci survient avant d'appeler récursivement l'unparsing. Je n'arrive pas à "séparer" les différents éléments de la fonction dans un pattern matching (name, args, body). Et mon souci provient probablement d'une mauvaise syntaxe mais je n'arrive pas à trouver de documentation à propos de Syntax.fundef...

Tu ne connais pas les types records ?
Il te suffit juste d'écrire fonction.name, fonction.args et fonction.body pour accéder aux attributs ;)

Oh... Moi qui cherchait compliqué... Non je ne connaissais pas, mais je suis vraiment nouveau sur Ocaml et le cours va relativement vite pour passer sur ce genre de détails ^^

J'arrive à voir la lumière au bout du tunnel désormais, par contre j'ai une question concernant le type de name et args. Mincaml ne me dit pas que ce sont des chaînes de caractères mais qu'ils sont respectivement Id.t * Type.t et (Id.t * Type.t) ?

Ça veut simplement dire qu'il y a une définition de type dans un module.
Le type t est donc disponible à l'utilisateur via l'interface .mli :

ld.mli (interface) :

Code:

---

type t

---

Son implémentation est par contre cachée dans le .ml :

ld.ml (implémentation) :

Code:

---

type t = string

---

Une fonction d'affichage (dans le genre ld.t -> unit) est-elle disponible ?

Citation:

---

Une fonction d'affichage (dans le genre ld.t -> unit) est-elle disponible ?

---

Hmm je ne vois pas trop de quoi vous voulez parler quand vous parlez d'une telle fonction. J'ai pourtant je pense réussi à contourner mon problème, même si la solution n'est probablement pas très élégante:

Code:

---

1 2 3 4 5

let print_func func = let name = match func.name with (a,b) -> a in let args = match func.args with a -> (match List.hd(a) with (x,y) -> x) in name ^ " " ^ args ^ " = " ^ unparse func.body;;

---

Combiné à mon unparser, j'obtiens bien la ligne "let rec fib n = if n < 2 then 1 else fib (n - 1) + fib (n - 1) in print(fib 5)" quand je l'applique à "ast fib_p" cité plus haut. Je n'ai pas encore terminé puisqu'il me reste les derniers types à insérer mais je pense néanmoins avoir bien avancé (et mieux compris toutes ces histoires de pattern matching, types, etc..)

Merci encore pour toute cette aide !

Mh ça veut dire que l'implémentation de ld.t n'est pas cachée. Oublie ce que j'ai dit.
Ton code marche plus ou moins, mais on l'écrirait plutôt comme ceci :

Code:

---

1 2 3 4 5 6

let print_func func = let (func_name, _) = func.name in let args = List.fold_left (fun arg_list (arg_name, _) -> arg_list ^ " " ^ arg_name) "" func.args in func_name ^ " " ^ args ^ " = " ^ unparse func.body ;;

---

(pas testé)

Quelques commentaires :
- pour récupérer les valeurs d'un tuple, on peut écrire let (a, b) = func.name in
- on a besoin d'afficher toute la liste des arguments, pas seulement le premier comme tu le fais. J'utilise un List.fold_left pour concaténer les noms de tous les arguments de la liste. Tu peux jeter un oeil à la doc pour plus de détails