Bonjour,
je suis étudiant et je dois réaliser un projet en Haskell.
Cependant je bloque sur une partie de ce projet,
VOICI
Et je dois écrire une fonction qui effectue la substitution d'un terme
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3 data Terme = VARIABLE String | NOM String [Terme] deriving (Eq,Show) type Substi = [(String,Terme)]
Idéalement, cette fct devrait faire qqch comme ceci :
Code : Sélectionner tout - Visualiser dans une fenêtre à part substituer :: Substi -> Terme -> Terme
Cependant, après plusieurs tentatives et pas mal d'heures passées à bosser sur ce problème, je n'ai pas réussi à produire une fonction réalisant la spécification, et je me retrouve à court d'idées.
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2 *Main> substituer [("var",NOM "l" [])] (NOM "m" [VARIABLE "var"]) donnera (NOM "m" [NOM "l" []])
Pourriez-vous, s'il vous plait, m'aider, m'indiquer une piste, me donner un conseil ou une idée, n'importe quoi qui m'aide à avancer?
Merci d'avoir lu ma requête, et encore merci de la prendre en considération
Bien à vous, marincuveur
Partager