Créer et retourner une variable

Bonjour,

je suis nouveau en Haskell et j'ai un petit problème concernant la création de variable. En effet, mon école nous interdit d'utiliser le mot clef let pour créer nos variable et je ne vois pas trop comment faire.

En fait mon problème est de créer dans le corps d'une fonction une variable que je veux retourner par la suite. Pour le moment je crée une variable vide dans la déclaration et la fonction va la retourner remplie.

Par exemple dans le code suivant, je veux retourner la racine carré i de nb. Ne sachant pas comment créer la variable i dans le corps de la fonction,

j'appelle mySqr avec le bon nombre nb et la racine carrée i vide.

Code:

---

1 2 3 4 5 6

mySqr :: Int -> Int -> Int mySqr nb i   | i * i == nb = i   | otherwise = mySqr nb (i + 1)

---

appel : mySqr 25 0.

Ça fonctionne ... Cependant j'aimerais dépasser ce stade.

Je vous remercie par avance pour votre aide.

Bonjour,

Je ne sais pas si ça répond à ta question, mais voici deux exemples où une fonction retourne une variable result :

Code:

---

1 2 3 4 5 6 7 8

main = putStrLn $ show $ perimeterOfTriangle (20, 10) (23, 10) (23, 14)   perimeterOfTriangle (xA, yA) (xB, yB) (xC, yC) = let ab = sqrt ((xB - xA) ** 2 + (yB - yA) ** 2) bc = sqrt ((xC - xB) ** 2 + (yC - yB) ** 2) ac = sqrt ((xC - xA) ** 2 + (yC - yA) ** 2) result = ab + bc + ac in result

---

Code:

---

1 2 3 4 5 6 7

main = putStrLn $ show $ perimeterOfTriangle (20, 10) (23, 10) (23, 14)   perimeterOfTriangle (xA, yA) (xB, yB) (xC, yC) = result where result = ab + bc + ac ab = sqrt ((xB - xA) ** 2 + (yB - yA) ** 2) bc = sqrt ((xC - xB) ** 2 + (yC - yB) ** 2) ac = sqrt ((xC - xA) ** 2 + (yC - yA) ** 2)

---

Si on n'a le droit ni à let, ni à where, alors on peut simuler des variables locales en les transformant en paramètres ou en retour de sous-fonction(s) :

Code:

---

1 2 3 4 5 6 7 8

main = putStrLn $ show $ perimeterOfTriangle (20, 10) (23, 10) (23, 14)   perimeterOfTriangle (xA, yA) (xB, yB) (xC, yC) = myAdd (sqrt ((xB - xA) ** 2 + (yB - yA) ** 2)) (sqrt ((xC - xB) ** 2 + (yC - yB) ** 2)) (sqrt ((xC - xA) ** 2 + (yC - yA) ** 2))   myAdd ab bc ac = ab + bc + ac

---

Pour revenir à ton algorithme où tu recherches une racine carrée entière en parcourant tous les entiers naturels à partir de 0 jusqu'à trouver la racine, je n'arrive pas à savoir sur quel aspect tu veux "dépasser" le "stade" de ton code actuel.

Une version du code qui utilise des fonctionnalités plus avancées de Haskell pourrait être :

Code:

---

1 2 3 4 5 6 7

import Data.List(find) import Data.Maybe(fromJust)   main = putStrLn $ show $ mySqrt 25   mySqrt :: Int -> Int mySqrt nb = fromJust $ find (\x -> x * x == nb) [0..]

---

Ici, [0..] est une liste infinie qui représente tous les entiers naturels à partir de 0. Le code ci-dessus cherche dans cette liste le premier élément qui respecte le critère défini par la fonction \x -> x * x == nb. Mais il ne semble pas que ça réponde à ta question.

Remarque : attention, dans le code de ma fonction mySqrt, comme dans ta fonction mySqr, si on lui donne en entrée un entier qui n'a pas de racine carrée entière, alors on a une boucle infinie.

Merci beaucoup pour ta réponse, je visualise mieux à présent !