Haskell et HTTP

Comme je l'ai indiqué,ici je me suis mis à l'apprentissage de Haskell. Je ne suis qu'un programeur amateur, et mes progrès sont laborieux, mais j'avance...

En fouinant sur planet.haskell.org/, je suis tombé sur ce post d'un blog :
http://www.deanberris.com/mental-bla...nd-monads.html

et je veux tester le code proposé :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27

--HTTP   --So let's say you want to impress your friends and want to pull your blog's front page and dump it out to the screen. How do we do it? Simple:   import Network.HTTP import Network.URI import Data.Maybe   main = do resp <- simpleHTTP request case resp of Left x -> printStrLn ("Error connecting: " ++ show x) Right r -> case rspCode r of (2,_,_) -> printStrLn ( rspBody r ) _ -> printStrLn ("Got response status other than 2XX!") where request = Request { rqURI = uri, rqMethod = GET, rqHeaders = [], rqBody = "" } uri = fromJust $ parseURI "http://www.deanberris.com/"   --And that's it!

---

J'ai donc mis ça dans un fichier .hs, et je teste sous GHCI :

Code:

---

:load /monfichier

---

me renvoie :

Code:

---

1 2 3

:23:17: parse error on input `=' Failed, modules loaded: none.

---

(:23:17 correspond au tout dernier signe = du code : "uri = etc)
quelqu'un voit d'où ça vient ?

Par ailleurs, je ne comprends pas l'utilisation du $ (en général, et ici en particulier)

Haskell a une syntaxe qui prend en compte l'indentation... Ici l'ensemble de ton module est indenté, alors qu'il commence usuellement à la première colonne. Je suppose que tu as simplement fait un copier-coller.
Le problème est que les définitions de uri et request ne sont pas indentés identiquement alors qu'ils devraient appartenir au même bloc, uri est plus indenté que request donc la ligne commençant par uri est considéré comme une continuation de la définition de request et une expression ne peut pas contenir de "=".
Les règles d'indentations de Haskell sont très simples, je peux te faire un résumé si tu le souhaites ?

Par ailleurs ce code est un peu compliqué pour une simple requête GET :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

module Main where   import Network.URI import Network.HTTP.Simple import Data.Maybe import Control.Monad   main = do page <- justGet "http://www.google.fr" putStrLn page   justGet :: String -> IO String justGet s = liftM (fromMaybe (error $ "The GET request for " ++ s ++ " failed.\n")) $ httpGet $ fromMaybe (error $ s ++ " is not a valid URI.\n") $ parseURI s

---

($) est un opérateur à la définition extrêmement simple :

Code:

---

1 2	($) :: (a -> b) -> a -> b f $ x = f x

---

Autrement dit c'est simplement l'application de fonction, comme un simple espace. Mais l'intérêt de ($) vient de sa priorité très faible, ce qui permet d'éviter d'utiliser beaucoup de parenthèses, par exemple ma fonction justGet ressemblerait à ça sans ($) :

Code:

---

1 2 3

justGet :: String -> IO String justGet s = liftM (fromMaybe (error ("The GET request for " ++ s ++ " failed.\n"))) (httpGet (fromMaybe (error (s ++ " is not a valid URI.\n")) (parseURI s)))

---

Ce qui peut convenir aux adeptes du Lisp mais a tendance à irriter la plupart des gens... Je ne trouve pas ça très lisible non plus.
Tu peux lire le ($) comme un pipe à l'envers, plus ou moins.

--
Jedaï

Citation:

---

Envoyé par Jedai

Haskell a une syntaxe qui prend en compte l'indentation... Ici l'ensemble de ton module est indenté, alors qu'il commence usuellement à la première colonne. Je suppose que tu as simplement fait un copier-coller.
Le problème est que les définitions de uri et request ne sont pas indentés identiquement alors qu'ils devraient appartenir au même bloc, uri est plus indenté que request donc la ligne commençant par uri est considéré comme une continuation de la définition de request et une expression ne peut pas contenir de "=".

---

OK, je vais essayer avec la bonne indentation... à suivre (edit : j'ai un autre pb, voir message suivant)

Citation:

---

Envoyé par Jedai

Les règles d'indentations de Haskell sont très simples, je peux te faire un résumé si tu le souhaites ?

---

Merci.En fait je vais réviser dans Real World Haskell, je reposterai une question si besoin, mais je pense que ça ira ...

Citation:

---

Envoyé par Jedai

Par ailleurs ce code est un peu compliqué pour une simple requête GET :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

module Main where   import Network.URI import Network.HTTP.Simple import Data.Maybe import Control.Monad   main = do page <- justGet "http://www.google.fr" putStrLn page   justGet :: String -> IO String justGet s = liftM (fromMaybe (error $ "The GET request for " ++ s ++ " failed.\n")) $ httpGet $ fromMaybe (error $ s ++ " is not a valid URI.\n") $ parseURI s

---

---

je vais tester, ça me fera creuser le sujet ...

Citation:

---

Envoyé par Jedai

($) est un opérateur à la définition extrêmement simple :

Code:

---

1 2	($) :: (a -> b) -> a -> b f $ x = f x

---

Autrement dit c'est simplement l'application de fonction, comme un simple espace. Mais l'intérêt de ($) vient de sa priorité très faible, ce qui permet d'éviter d'utiliser beaucoup de parenthèses, par exemple ma fonction justGet ressemblerait à ça sans ($) :

Code:

---

1 2 3

justGet :: String -> IO String justGet s = liftM (fromMaybe (error ("The GET request for " ++ s ++ " failed.\n"))) (httpGet (fromMaybe (error (s ++ " is not a valid URI.\n")) (parseURI s)))

---

Ce qui peut convenir aux adeptes du Lisp mais a tendance à irriter la plupart des gens... Je ne trouve pas ça très lisible non plus.
Tu peux lire le ($) comme un pipe à l'envers, plus ou moins.

--
Jedaï

---

Merci de la précision, je n'avais pas bien compris, c'est clair maintenant ...

ok, j'ai donc indenté correctement la définition de uri.

je refais le :load , et ghci me renvoie :

Code:

---

1 2 3

:12:18: Not in scope: `printStrLn'

---

(message répété pour les autres printStrLn)

euh, comment je fais pour avoir printStrLn ? (et où dois-je chercher la prochaine fois ?)

j'ai aussi testé ta version, qui me renvoie :

Code:

---

Could not find module `Network.HTTP.Simple':

---

... pas très doué, je disais ...
ce qui est vraiment bizarre, c'est que "import Network.HTTP" ne me renvoie pas de message d'erreur
tiens je viens de faire

Code:

---

:module +Ne (tab)

---

qui me renvoie :

Code:

---

1 2 3 4

Network Network.HTTP.Headers Network.StreamSocket Network.BSD Network.Socket Network.TCP Network.Browser Network.Stream Network.URI Network.HTTP Network.StreamDebugger Numeric

---

je suis sous Ubuntu et j'ai installé via Synaptic : libghc6-http-dev en version : 30010004-2

j'ai juste là ? où quelque chose a échappé à mon oeil de lynx myope et débutant ?

printStrLn n'existe pas, la fonction correcte est putStrLn.

Network.HTTP.Simple est dans le package HTTP-Simple, pas dans le package http normal. Si tu as installé cabal-install (hautement recommandé), tu peux l'installer d'un simple "cabal install HTTP-Simple".

--
Jedaï

Citation:

---

Envoyé par Jedai

printStrLn n'existe pas, la fonction correcte est putStrLn.

---

OK ça marche maintenant ... il ne me reste plus qu'à comprendre comment !

Citation:

---

Envoyé par Jedai

Network.HTTP.Simple est dans le package HTTP-Simple, pas dans le package http normal. Si tu as installé cabal-install (hautement recommandé), tu peux l'installer d'un simple "cabal install HTTP-Simple".

--
Jedaï

---

Ah ... c'est là que le bât blesse : je tente d'installer cabal, et mon Synaptic (Ubuntu 8.04)
me répond :

Code:

---

1 2	libghc6-cabal-dev: Dépend*: ghc6 (<6.6.1+) mais 6.8.2-2ubuntu1 doit être installé

---

et là je suis perdu car quand je lance ghci, il m'indique :

Code:

---

1 2	GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help Loading package base ... linking ... done.

---

hmmm ... tu as un conseil pour moi ?

Ce paquet cabal est visiblement vieux, de plus il ne concerne pas cabal-install (le binaire) mais cabal (la librairie). Suis donc plutôt les instructions du lien que je t'ai donné, il y a même une instruction apt-get pour Ubuntu pour installer les dépendances.

--
Jedaï

Citation:

---

Envoyé par Jedai

Ce paquet cabal est visiblement vieux, de plus il ne concerne pas cabal-install (le binaire) mais cabal (la librairie). Suis donc plutôt les instructions du lien que je t'ai donné, il y a même une instruction apt-get pour Ubuntu pour installer les dépendances.

--
Jedaï

---

OK je l'ai fait ...
alors encore un peu de chinois (pour moi) :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

./cabal install HTTP-Simple Resolving dependencies... Downloading HTTP-Simple-0.1... [1 of 1] Compiling Main ( /tmp/HTTP-Simple-0.17310/HTTP-Simple-0.1/Setup.lhs, /tmp/HTTP-Simple-0.17310/HTTP-Simple-0.1/dist/setup/Main.o ) Linking /tmp/HTTP-Simple-0.17310/HTTP-Simple-0.1/dist/setup/setup ... Configuring HTTP-Simple-0.1... Warning: No 'build-type' specified. If you do not need a custom Setup.hs or ./configure script then use 'build-type: Simple'. Preprocessing library HTTP-Simple-0.1... Building HTTP-Simple-0.1... [1 of 1] Compiling Network.HTTP.Simple ( Network/HTTP/Simple.hs, dist/build/Network/HTTP/Simple.o )   Network/HTTP/Simple.hs:69:22: Not in scope: type constructor or class `ConnError' cabal: Error: some packages failed to install: HTTP-Simple-0.1 failed during the building phase. The exception was: exit: ExitFailure 1

---

ta patience est admirable Jedai (ou bien "la patience du Jedai admirable elle est")

Il apparait que HTTP-Simple s'appuie sur l'interface de la version 3xxx du package HTTP mais oublie malencontreusement de le préciser dans ses dépendances.
A ce stade il y a deux remèdes possibles, adapter la librairie à la dernière version de HTTP (ce qui requiert deux modifications mineures du code, avec un peu d'expérience c'est l'affaire d'une minute de trouver les corrections et de les appliquer, comme je l'ai fait), ou compléter le fichier HTTP-Simple.cabal pour lui indiquer que "HTTP < 4000" est la dépendance correcte, pas HTTP.

Je vais envoyer le patch au mainteneur, mais d'ici là tu peux adopter l'une des solutions ci-dessus ou simplement te passer des quelques fonctions de HTTP-Simple et utiliser directement HTTP.

--
Jedaï

Merci Jedaï, tu m'as bien aidé... je ne suis pas sûr de faire les manips que tu dis pour l'instant, mais je me débrouillerai pour l'instant...

je passe le post en [résolu]