[Haskell] IO Int

Bonjour,

Je fait un programme qui demande des valeurs a l'utilisateur et effectue des calcul en utilisant d'autres fonctions.

Je commence à peine a utiliser les entrées-sorties en Haskell, et j'ai besoin d'Int pour les transmettre à mes fonctions.

J'ai vu dans les tutoriels comment demander un IO Char a l'utilisateur, mais pas d'Int (ou de IO Int).
Y-a-t-il un type IO Int ou faut-il transformer les IO Char (et si oui comment ? ;))

merci.

La fonction read:

Code:

---

1 2 3 4 5 6 7 8 9

Prelude> :t read read :: (Read a) => String -> a Prelude> let x = (read "123")::Int Prelude> x 123 Prelude> :t x x :: Int Prelude>

---

Comme le dit GnuVince, read est la solution pour convertir une chaîne de caractère en ce que tu veux, dans ton cas particulier tu peux également utiliser readLn (= liftM read getLine) si tu demandes une seule valeur par ligne, par exemple :

Code:

---

1 2 3 4 5 6 7 8 9 10 11

main = do putStrLn "Entrez un entier positif : " n <- readLn if n < 0 then do putStrLn "J'ai dit POSITIF !" main else putStrLn ("La factorielle de " ++ show n ++ " est " ++ show (fac n))   fac :: Int -> Int fac n = product [2..n]

---

Attention read s'appuie sur le contexte pour savoir le type dans lequel il doit traduire la string, ici l'application de fac à n lui montre qu'on veut un entier, mais parfois il est nécessaire de mettre une signature (surtout dans les exemples artificiels... dans les véritables programmes il y a plus de contexte pour aider généralement).

--
Jedaï

Bonjour à tous

j'ai un petit problème avec les IO en Haskell. j'ai un résultat d'un putStrLn que je veux sauvgarder dans un fichier txt mais j'arrive pas à le faire. voici le code:

Code:

---

1 2 3 4 5 6

main2 = do r <- readFile "GEN.XML" putStrLn ((show . parse) r)     save = writeFile "GEN.txt" (main2)

---

il affiche que le deuxième argument de writefile doit être un String, j'ai essayé d'utiliser >>= mais ça ne marche toujours pas.
pourriez vous m'aider pour résoudre ce problème??

Code:

---

main2 >>= writeFile "GEN.txt"

---

devrait marcher. Ou alors :

Code:

---

1 2 3

do content <- main2 writeFile "GEN.txt" content

---

Le premier code est assez logique si tu connais le type de '>>='.