Discussion :

[mimi6060]

bonjour j'ai le code suivant :

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
40
41
42
43
44
45
46
47
48
49
50
51
52
 
-- Evaluation des expressions
evalExp :: EXP -> MEMORY -> TREE
evalExp (CONST x) memory = x
evalExp (ID x) memory = getMemory x memory
evalExp (ADD x y) memory = if letype(xEval)==(Just IntType) && letype(yEval)==(Just IntType) 
                           then TREEVALUE (INT ((getINT xEval) + (getINT yEval)))
                           else TREEVALUE (Error)
        where
            xEval = evalExp x memory
            yEval = evalExp y memory
 
evalExp (SUB x y) memory = if letype(xEval)==(Just IntType) && letype(yEval)==(Just IntType) 
                           then TREEVALUE (INT ((getINT xEval) - (getINT yEval)))
                           else TREEVALUE (Error)
        where
            xEval = evalExp x memory
            yEval = evalExp y memory
 
evalExp (MULTI x y) memory = if letype(xEval)==(Just IntType) && letype(yEval)==(Just IntType) 
                             then TREEVALUE (INT ((getINT xEval) * (getINT yEval)))
                             else TREEVALUE (Error)
        where
            xEval = evalExp x memory
            yEval = evalExp y memory
 
evalExp (COMP x y) memory = if letype(xEval)==(Just IntType) && letype(yEval)==(Just IntType) 
                            then TREEVALUE (BOOL ((getINT xEval) < (getINT yEval)))
                            else TREEVALUE (Error)
        where
            xEval = evalExp x memory
            yEval = evalExp y memory
 
evalExp (NEG x) memory = if letype(xEval)==(Just BoolType) 
                         then TREEVALUE (BOOL (not (getBOOL xEval)))
                         else TREEVALUE(Error)
        where 
            xEval = evalExp x memory
 
evalExp (AND x y) memory = if letype(xEval)==(Just BoolType) && letype(yEval)==(Just BoolType) 
                             then TREEVALUE (BOOL ((getBOOL xEval) && (getBOOL yEval)))
                             else TREEVALUE(Error)
        where
            xEval = evalExp x memory
            yEval = evalExp y memory
 
evalExp (OR x y) memory = if letype(xEval)==(Just BoolType) && letype(yEval)==(Just BoolType) 
                            then TREEVALUE (BOOL ((getBOOL xEval) || (getBOOL yEval)))
                            else TREEVALUE(Error)
        where
            xEval = evalExp x memory
            yEval = evalExp y memory

ma question serais comment je pourais remplacer le where ou le simplifier pour eviter de le repeter aussi souvent merci

[Chatanga]

Ce n’est pas tant le contenu de ton « where » qu’il faut factoriser que le mécanisme complet de vérification et d’évaluation des opérandes. Par exemple :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
evalExp (NEG ex) memory = deepEval memory [ex] [BoolType] $
        \[x] -> BOOL (not (getBOOL x))
 
evalExp (OR ex ey) memory = deepEval memory [ex, ey] [BoolType, BoolType] $
        \[x, y] -> BOOL (getBOOL x || getBOOL y)
 
deepEval :: MEMORY -> [EXP] -> [TYPE] -> ([TREE] -> TREE) -> EXP
deepEval memory operands expectedTypes operator =
        let
                operandValues = map (flip evalExp memory) operands
                actualTypes = map letype operandValues
        in if actualTypes == expectedTypes
                then TREEVALUE (operator operandValues)
                else TREEVALUE Error

En remplaçant TREEVALUE (c’est moche d’écrire tout en majuscule, TreeValue serait plus lisible) par un Maybe qui jouerait le même rôle, il serait possible d’améliorer encore tout ça.

[mimi6060]

avec ton code j'ai le message d'erreur suivant :

Code :

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

1
2
3
4
5
6
7
8
9
 
 Couldn't match expected type `EXP' with actual type `TREE'
    In the return type of a call of `TREEVALUE'
    In the expression: TREEVALUE (operator operandValues)
    In the expression:
      if actualTypes == expectedTypes then
          TREEVALUE (operator operandValues)
      else
          TREEVALUE Error

pour la fonction

Code :

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

1
2
3
4
5
6
7
8
9
 
 deepEval :: MEMORY -> [EXP] -> [TYPE] -> ([TREE] -> TREE) -> EXP
 deepEval memory operands expectedTypes operator =
        let
                operandValues = map (flip evalExp memory) operands
                actualTypes = map getType operandValues
        in if actualTypes == expectedTypes
                then TREEVALUE (operator operandValues)
                else TREEVALUE Error

[Chatanga]

Code :

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

deepEval :: MEMORY -> [EXP] -> [TYPE] -> ([TREE] -> TREE) -> EXP TREE

[mimi6060]

toujours un problème :

Code :

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

1
2
3
4
5
6
7
8
 
 Illegal type signature: `MEMORY
                             -> [EXP]
                                -> [TYPE]
                                   -> ([TREE] -> TREE)
                                      -> TREE deepEval memory operands expectedTypes operator'
      Perhaps you intended to use -XScopedTypeVariables
    In a pattern type-signature

pourtant :

Code :

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

1
2
 
      type MEMORY = [(IDs,TREE)]

[Chatanga]

deepEval :: MEMORY -> [EXP] -> [TYPE] -> ([TREE] -> TREE) -> EXP TREE deepEval memory operands expectedTypes operator

Tu positionnes ton curseur au niveau du smiley et tu appuis sur la touche Entrée (c’est la touche un peu plus grande que les autres avec « Entrée » marquée dessus).