Question gestion d'erreur Haskell

Salut à tous,
pour mes cours je dois implémenter en Haskell un module représentant des expressions arithmétiques, pour le moment tout se passe plutot bien. Le problème est que j'ai créé un data Store de type :

Code:

---

type Store = [(String, Float)]

---

ce type me permet d'associer un nom de variable à une valeur en float.
J'ai également une fonction qui va me renvoyer la valeur d'un nom de variable passé en paramètre

Code:

---

1 2 3 4 5 6

valeurVariable :: String -> Store -> Float valeurVariable s [] = error "Variable introuvable" valeurVariable s ((a, b):xs) | s == a = b | s /= a = valeurVariable s xs

---

Je voulais savoir si à partir de ce code il était possible de coder une fonction de type

Code:

---

testErreur :: Store -> Maybe Int

---

qui appellerait valeurVariable avec un store et une variable a rechercher et qui me renverrait Nothing si l'exception a été levée.

Si cela n'est pas possible, y'a t'il un moyen de convertir un Maybe Float en Float, je dois absolument manipuler uniquement des Float pour la suite de mon programme.

Merci d'avance.

Il n'est pas possible (proprement) d'écrire une fonction qui capture une exception (error soulève une exception) dans une fonction pure (référentiellement transparente), il est nécessaire d'être dans IO pour capturer une exception.
C'est pourquoi généralement il est préférable de commencer par écrire une fonction totale qui représente explicitement les erreurs en renvoyant Maybe ou Left, puis éventuellement d'enrober ceci dans une fonction partielle (qui soulève une exception).

Tu devrais donc réécrire "valeurVariable" pour qu'il renvoie Maybe Float.

Citation:

---

Si cela n'est pas possible, y'a t'il un moyen de convertir un Maybe Float en Float, je dois absolument manipuler uniquement des Float pour la suite de mon programme.

---

Il n'est bien sûr pas possible de convertir un Maybe Float vers un Float de façon totale sans attribuer une valeur à Nothing. La première façon de se débarrasser d'un Maybe est par pattern matching :

Code:

---

1 2 3

case maybeFloatValue of Nothing -> que faire si la valeur était Nothing (error peut-être ?) Just floatValue -> code utilisant la variable floatValue, de type Float

---

Cela suffit dans la plupart des cas mais ce n'est pas toujours très compact et peut vite devenir répétitif si tu as beaucoup de valeur Maybe. Il y a donc des fonctions intéressante dans le module Data.Maybe, dont fromJust (fonction partielle qui soulève une exception si l'argument était Nothing), fromMaybe (qui permet de donner une valeur "par défaut" en cas de Nothing) ou même maybe (qui permet de donner une fonction qui traite le contenu de Just et une valeur par défaut pour Nothing).

Code:

---

let floatValue = fromMaybe 0.0 maybeFloatValue in ....

---

Dernièrement si ton code est truffé de calculs qui peuvent échouer et que tu veux "transmettre" cet échec éventuel au résultat final sans avoir à écrire un code très lourd qui vérifie chaque valeur, tu peux utiliser la monade Maybe :

Code:

---

1 2 3 4 5

maybeSum :: String -> String -> Store -> Maybe Float maybeSum var1 var2 store = do val1 <- lookup var1 store val2 <- lookup var2 store return (val1 + val2)

---

--
Jedaï