Recherche:

Et plus la peine de mettre "let" pour déclarer quoique ce soit dans les fichiers .hs :)

Je ne l'ai pas supprimé :koi:

Pour la syntaxe, je suppose que tu cherches quelque chose comme le Haskell 98 report : http://haskell.org/haskellwiki/Language_and_library_specification, tout au...

Pour apprendre Haskell, tu as la version en ligne de Real World Haskell : http://book.realworldhaskell.org/read/
ou le wikibook :
http://en.wikibooks.org/wiki/Haskell

D'ailleurs, c'est peut-être le moment pour Trap D de lire un peu sur foldl, foldr, map et compagnie.
http://www.haskell.org/haskellwiki/Fold
http://www.haskell.org/haskellwiki/Foldr_Foldl_Foldl%27...

type MyType = [(Char, Int)]

regroupe :: [Char] -> MyType

regroupe [n] = [(n,1)]
regroupe (x:y:t) = if x == y
then (\(x:y:t) -> (\(x,m):q -> (x, m+1):q) (regroupe (y:t)) (x:y:t)
...

La curiosité c'est bien.

Développer des applis avec, c'est une autre paire de manche. Autant rester sur OCaml/Haskell.

Je t'aurais plutôt vu jouer avec LambdaProlog, soit dit en passant.

type MyType = [(Char, Int)]

regroupe :: [Char] -> MyType

regroupe [n] = [(n,1)]
regroupe (x:y:t) = if x == y
then regroupe1 (\(x:y:t) -> (x, m+1):q where (x,m):q = regroupe (y:t))...

type MyType = [(Char, Int)]

regroupe :: [Char] -> MyType

regroupe [n] = [(n,1)]
regroupe (x:y:t) = if x == y
then regroupe1 (x:y:t)
else regroupe2 (x:y:t)
where
...