Implementazione dell'ultima funzione

Question

Sto cercando di insegnarmi Haskell. Una cosa che ho cercato di fare è scrivere una funzione alternativa per restituire l'ultimo elemento di una lista ricorrendo alla lista finché la coda è il set vuoto e quindi restituendo la testa. Ho ...

mylast [] = [] 
mylast (x:[]) = x 
mylast (x:xs) = mylast xs 

... ma ho un errore quando provo ogni lista non vuota :( eventuali suggerimenti riguardo a quello che ho fatto di male? TIA.

Answer 1

Prova mylast [] = error "Empty list!" . in caso contrario, invece Haskell non può dedurre il tipo di funzione

Answer 2

soluzione di Efraim dovrebbe funzionare (up-votato) ma penso che questo è un po 'più "Haskell-like":..

mylast [] = Nothing 
mylast (x:[]) = Just x 
mylast (x:xs) = mylast xs 

Disclaimer: Non l'ho ancora provato. Potrei aver commesso errori di sintassi.

Answer 3

Il problema - come tanti altri quando stai imparando Haskell - è quello della digitazione. Digitare quanto segue in GHCi

:t mylast 

e vedrete che la firma tipo è

mylast :: [[a]] -> [a] 

che si aspetta una lista di liste e restituirà un elenco. Quindi se inserisci un elenco di stringhe ["bob", "fence", "house"] la funzione funzionerà come hai scritto tu.

Il problema è il caso base: mylast [] = [], che indica al compilatore che si desidera restituire un elenco. Vuoi restituire un elemento, non una lista. Ma non c'è alcun elemento vuoto in Haskell (molto di design), quindi è necessario usare la Forse monade.

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

Le Monade sono un argomento un po 'astratto, ma hai bisogno della monade Forse quando inizi. Tutto quello che devi sapere è che è una dichiarazione di tipo che dice al compilatore di aspettarsi due possibilità: "Niente" o "Solo x". Il codice restituito può quindi prendere x e correre con esso, ma se si omette "Just", il compilatore si lamenterà.

L'alternativa è quella di lanciare un errore quando si incontra un elenco vuoto, in questo modo:

mynextlast [] = error "no empty lists allowed" 
mynextlast (x:[]) = x 
mynextlast (x:xs) = mynextlast xs 

Ma il mio sospetto è che forse è la strada da percorrere.

Answer 4

Grazie per le risposte a tutti. Ho provato ...

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

e ottengo pe ...

Main> mylast3 [2,4,66,5,4,33] 
Just 33 :: Maybe Integer 

C'è comunque di rendere non stampare il 'solo' nella risposta?

[EDIT: Jörg W Mittag] (I commenti sono orribili per la pubblicazione del codice ...)

Ecco come l'intero codice appare nel contesto:

mylast []  = Nothing 
mylast [x] = Just x 
mylast (x:xs) = mylast xs 

mylook (Just a) = do print a 
mylook Nothing = do error "Nothing to see here, move along!" 

mylook $ mylast [2,4,66,5,4,33] 

Answer 5

myLast' [] = error "no empty lists allowed" 
myLast' [a] = a 
myLast' xs = xs !! (length xs - 1) 

Answer 6

mylast [x] = x 
mylast (x:xs) = mylast xs 

soluzione chiamata ricorsiva