Bonjour à vous.

Si y a un pro de ce langage pour m'aider, je l'en remercierai. Je comprends pas bien pourquoi ça ne marche pas

En gros j'ai une fonction maListe qui prend une liste en argument et un entier 'a', et elle doit (en théorie) me renvoyer la liste avec en plus (concaténé) tous les entiers positifs non-nuls inférieurs à 'a'.

Mais j'obtiens, dès que j'essaie de l'utiliser, l'erreur Non-exhaustive patterns in function maListe

maListe a [b] = if a>0 then maListe (a-1) [b]++[a] else [b]

Tu as définis la fonction avec maListe a [b] ce qui signifie que le second argument va "matcher" avec un objet de la forme [b] : c'est à dire une liste à UN SEUL élément. Ta fonction ne marchera pas pour les listes dont la structure est [] (liste vide) ou x:x':xs (liste à au moins deux éléments).

Exemple :

f [] = 0
f [x] = 1
f (_:xs) = 2

Selon la liste que tu passes en paramètre de la fonction f (qui représente une seule fonction) le retour sera différent selon la structure de la liste passée en paramètre. C'est le pattern-matching.

Si tu veux une liste générale sans te soucier de sa structure il faudrait un identificateur plus général.

Exemple :

f l = 3

Autres exemples de pattern-matching :

not True = False
not False = True

and True True = True
and _ _ = False

PS : Je suppose que tu cherchais à spécifier que le second argument est une liste mais Haskell (et la plupart des autres langages fonctionnels comme OCaml) peuvent déduire le type selon l'utilisation des objets par la fonction. Si tu veux spécifier pour toi même le type des fonctions tu peux utiliser des annotations de types. Par exemple : addition_int :: Int -> Int -> Int à placer au dessus des définitions de fonctions. Cela sert aussi à s'assurer qu'une fonction a le type qu'on souhaite.

Merci pour ta réponse complète, j'étais à coté du truc. Je pensais que [b] signifiait : une liste quelconque de nom 'b'. J'ai bien compris grâce à toi

comme ça ça marche bien du coup

 maListe a b = if a>0 then maListe (a-1) b++[a] else b