Discussion :

[AdrienVaret]

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 :

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

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 :

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

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 :

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

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.

[Jedai]

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.

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 :

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

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 :

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

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 :

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

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ï