Variabile indefinita, Haskell

Question

Ho una domanda veloce. Haskell sta lanciando il 57 - Undefined variable "f" error e non ho idea del perché. Lo apprezzerei se potessi dare un'occhiata a questo.

Codice:

eval :: Expr -> Environment -> Float 
eval expr env = eval' expr 
    where 
    eval' :: Expr-> Float 
    eval' (Num num) = num 
    eval' (App app exprs) = foldl1 (f) (map eval' exprs) -- **Line 57** 
    eval' (Id id) = 5 
     where 
     f = getFunctionForApp app     -- **f is here** 
     getFunctionForApp :: String -> (Float->Float->Float) 
     getFunctionForApp "+" = (+) 
     getFunctionForApp "-" = (-) 
     getFunctionForApp "*" = (*) 
     getFunctionForApp "/" = (/) 
     getIdVal :: String -> Environment -> Float 
     getIdVal id ((curId, val):envrs) 
      |curId == id = val 
      | otherwise = getIdVal id envrs 

Tipo definizione:

data Expr = Num Float | Id String | App String [ Expr ] 
      deriving (Eq, Ord, Show) 
type Environment = [ (String, Float) ] 

Answer 1

Il blocco in cui si applica solo al caso direttamente davanti, non a tutti i casi della funzione eval'. Quindi f è definito (ma non utilizzato) in eval' (Id id) = 5, ma non è nella portata 57. Per risolvere questo è necessario spostare il blocco dove direttamente dopo la linea 57.

Answer 2

Esattamente quello che ha detto sepp2k. In questo caso, tuttavia, preferirei semplicemente scambiare le righe 57 e 58, quindi lo where è collegato all'equazione destra senza dividere le equazioni per eval', che è più leggibile.

oppure non utilizzare f a tutti, rendere

eval' (App app exprs) = foldl1 (getFunctionOrApp app) (map eval' exprs) 
eval' (Id id) = 5 

getFunctionOrApp :: String -> (Float -> Float -> Float) 
getFunctionOrApp "+" = ... 

Moving getFunctionOrApp (e getIdVal) allo stesso livello come whereeval', può anche essere ragionevole definirli al livello superiore.