Le moyen le plus rapide pour obtenir le dernier élément d'une liste en Haskell

last et init va faire le travail tout aussi bien pour un one-off. Cependant, ils sont à la fois O(n), donc si vous avez besoin de manipuler les deux extrémités d'une liste souvent, comme vous semblez le laisser entendre, vous pouvez envisager d'utiliser de Données.Séquence au lieu de cela, qui prend en charge O(1) d'insertion et de retrait des éléments aux deux extrémités.

Je vais poster le Prélude de la mise en œuvre car il n'a pas été publié pour le moment:

listLast :: [a] -> a
listLast [x] = x --base case is when there's just one element remaining
listLast (_:xs) = listLast xs --if there's anything in the head, continue until there's one element left
listLast [] = error "Can't do last of an empty list!"

Noter que j'ai changé le nom de la fonction à listLast de sorte qu'il peut être exécuté sans entrer en conflit avec la normale Prélude. Vous pouvez, bien sûr, ne import Prelude hiding(last).

Cette réponse met l'accent sur la façon de traiter avec bizarre conditions (comme vide listes) dans un maximum de souplesse, et sur la construction de plus les fonctions à partir des plus petites à l'aide de certaines fonctions de la bibliothèque. C'est pas la meilleure réponse pour quelqu'un premier apprentissage sur les listes, mais plutôt quelques étapes passé.

Pour la suite, vous aurez besoin de

import Control.Monad ((>=>))

et vous aurez besoin d'utiliser soit GHC 7.10 et l'importation Data.List (uncons) ou de définir

uncons :: [a] -> Maybe (a, [a])
uncons [] = Nothing
uncons (x:xs) = Just (x,xs)

Vous pouvez écrire un coffre-fort formulaire de init comme ceci:

init' :: [x] -> Maybe [x]
init' = foldr go Nothing
  where
    go x mxs = Just (maybe [] (x:) mxs)

Une version de tail peut être écrit

tail' :: [a] -> Maybe [a]
tail' = fmap snd . uncons

Alors vous pouvez obtenir un maybefied

trim' :: [a] -> Maybe [a]
trim' = init' >=> tail'

La >=> est une sorte de rétro monadique de la composition. init' >=> tail' est une fonction qui s'applique init' à son argument pour obtenir un Maybe [a]. Si elle obtient Nothing, il retourne que. Si elle obtient Just xs, il s'applique tail' à xs et des rendements.

De cela, vous pouvez facilement faire une tondeuse que les garnitures de listes avec 0, 1 ou 2 éléments bas à vide listes:

trim :: [a] -> [a]
trim = maybe [] id . trim'