modèles non-exhaustive en fonction max

Question

En ghci ce code:

let max [] = error "maximum of empty list" 

let max [x] = x 

let max (x:xs) 
    | x > maxTail = x 
    | otherwise = maxTail 
    where maxTail = max xs 

provoque une erreur: *** Exception: <interactive>:26:5-106: Non-exhaustive patterns in function max

Quel est le modèle non-épuisable ici? Les listes elem zéro, elem unique et multi elem sont-elles prises en compte?

Update:

Update 2:

Update 3:

fonctionne comme prévu sur Debian (Raspberry Pi):

Answer 1

En utilisant trois let séparés s, vous définissez trois fonctions distinctes, non exhaustives, nommés max chacun shadowing précédent ceux Pour définir une fonction multi-cas à l'aide let, vous utilisez les let les mots clés, puis il suffit de répéter la signature de la fonction à la même indentation pour chaque motif comme celui-ci:

let max [] = error "maximum of empty list" 
    max [x] = x 
    max (x:xs) 
     | x > maxTail = x 
     | otherwise = maxTail 
     where maxTail = max xs 

Pour que cela (ou tout autre morceau de code qui prend plusieurs lignes) pour fonctionner dans GHCI, vous devez démarrer le mode multi-ligne en entrant :{ et ensuite le quitter ensuite avec :} ou écrire tout en une ligne en utilisant ; au lieu des sauts de ligne (sauf avant | où vous écririez simplement | sans ; ou un saut de ligne devant).

Answer 2

GHCi (et en général, let) ne vous permet pas de définir une fonction de cette façon. Vous avez simplement défini 3 fonctions, en les écrasant l'une par l'autre à chaque fois.

Si vous souhaitez continuer à utiliser GHCi, écrire quelque chose comme ceci:

let max list = case list of 
    [] -> error "maximum of empty list" 
    [x] -> x 
    (x:xs) -> 
     if x > maxTail then x else maxTail 
     where maxTail = max xs