Discussion :

[_cubeBrick]

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 :

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

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.

[Pyramidev]

Bonjour,

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

Code :

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

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 :

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

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 :

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

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 :

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

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.

[_cubeBrick]

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