Discussion :

[plouc23]

Bonjour,

Je cherche à parcourir une liste de paires, faire une vérification sur le premier élément de chacune des paires (une égalité), puis d'utiliser la définition de la fonction qui est le 2e élément de la paire pour calculer et retourner une certaine valeur.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
 
type Var = String
 
 
-- Expressions du code source en forme ASA.
data Exp = Enum Int -- Une constante
        | Evar Var -- Une variable
        | Elet Var Exp Exp -- Une expr "let x = e1 in e2"
        | Ecall Exp Exp -- Un appel de fonction
 
 
 
-- Valeurs renvoyées.
data Val = Vnum Int -- Un nombre entier
        | Vprim (Val -> Val) -- Une fonction prédéfinie
 
instance Show Val where
        show (Vnum x) = show x
 
 
 
type Env = [(Var, Val)]
 
 
-- L'environnement initial qui contient toutes les primitives.
pervasive :: Env
 
pervasive = [("+", Vprim (\(Vnum x) -> Vprim (\(Vnum y) -> Vnum (x + y)))),
             ("-", Vprim (\(Vnum x) -> Vprim (\(Vnum y) -> Vnum (x - y)))),
             ("*", Vprim (\(Vnum x) -> Vprim (\(Vnum y) -> Vnum (x * y)))),
             ("/", Vprim (\(Vnum x) -> Vprim (\(Vnum y) -> Vnum (x `div` y))))]
 
 
eval :: Env -> Exp -> Val
 
eval (env1)(Enum x) = (Vnum x)
 
--eval (env1)(Ecall e1 e2) = case (e1) of
--                               (Ecall e3 e4) -> ?????

Donc, en gros, je dois regarder de quel signe est e3, puis utiliser le bon Vprim pour faire la bonne opération avec les valeurs e4 et e2. Cependant je ne sais pas comment faire cette vérification puis cet appel de fonction avec les bons paramètres.

Voici un exemple d'un Ecall

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

(Ecall (Ecall (Evar "+") (Evar "x")) (Enum 4))

Pouvez-vous m'aider ?
Suis-je au moins sur le bon chemin ?

[Jedai]

Tu n'est pas vraiment sur le bon chemin...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

eval env (Ecall e1 e2) = case e1 of

C'est là qu'est l'erreur, tu devrais utiliser :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

eval env (Ecall e1 e2) = case eval env e1 of

Ensuite tu devrais bien voir que la seule valeur correcte pour le premier membre de Ecall est une expression qui s'évalue en une fonction (Vprim).

Je te laisse faire pour la suite (par ailleurs ceci est un bon exemple d'utilisation de la monade Reader, même si je doute que vous en soyez là d'après ce que j'ai vu de votre cours jusqu'ici).

--
Jedaï

[plouc23]

hmm
Je ne comprends pas pourquoi il est nécessaire d'utiliser un appel récursif dans

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

eval env (Ecall e1 e2) = case eval env e1 of

Il me semble que e1 doit nécessairement être un des 4 opérateurs (+-*/), l'appel récursif peut se faire dans la partie suivant le "->" non ?

Mais bref, ma question principale (quoique merci pour cette erreur) était la manière dont on fait une recherche selon un critère à travers une liste. J'ai essayé la fonction "find", mais sans succès, je reçois une erreur comme quoi le compilateur ne connait pas cette fonction. Je n'ai trouvé aucun exemple de code non plus malgré toute ma recherche sur l'internet

[Jedai]

hmm
Je ne comprends pas pourquoi il est nécessaire d'utiliser un appel récursif dans

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

eval env (Ecall e1 e2) = case eval env e1 of

Il me semble que e1 doit nécessairement être un des 4 opérateurs (+-*/), l'appel récursif peut se faire dans la partie suivant le "->" non ?

Si tu ne fais pas un appel récursif, tu vas devoir traiter directement les différents cas... Pour l'instant tu n'as que des fonctions à deux arguments, et uniquement des primitives, mais sous peu tu auras des fonctions à plus ou moins d'arguments et tu auras probablement un moyen de déclarer des fonctions dans ton langage interprété. Utiliser le eval ici simplifie énormément la tâche, tu n'as même pas à te poser de question :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
eval env (Ecall e1 e2) = case eval env e1 of
  Vprim f -> f (eval env e2)
  _ -> error "blabla"

Alors que sinon tu vas devoir mélanger la gestion des applications avec la gestion des variables et de l'environnement.

Mais bref, ma question principale (quoique merci pour cette erreur) était la manière dont on fait une recherche selon un critère à travers une liste. J'ai essayé la fonction "find", mais sans succès, je reçois une erreur comme quoi le compilateur ne connait pas cette fonction. Je n'ai trouvé aucun exemple de code non plus malgré toute ma recherche sur l'internet

Haskell dispose d'un excellent moteur de recherche pour ce genre de cas : Hoogle. Tu peux y rechercher un type directement, comme ici "a -> [(a,b)] -> Maybe b" ce qui t'amène directement à lookup qui est la fonction que tu cherches (note que Hoogle utilise un algorithme flou, qui te donne également le bon résultat même si tu lui donnes seulement "[(a,b)] -> a -> b").

Si tu n'arrivais pas à trouver, tu aurais pu simplement écrire la fonction :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
lookup _ [] = Nothing
lookup e ((a,b):rest) = if a == e then Just b else lookup e rest

--
Jedaï

[plouc23]

hmm
d'accord merci beaucoup pour votre aide =]