Dlaczego funkcja jest całkowita

Question

take (-1) [] jest [].

Jakie są powody, aby preferować tę funkcję częściowo, to znaczy błąd?

Czy istnieją przypadki użycia tej nieruchomości?

Answer 1

Dzielenie listę w kawałki (co najwyżej) n kawałki wymaga take być razem:

chunks n [] = [] 
chunks n xs = take n xs : chunks n (drop n xs) 

Również obecna definicja zapewnia

take n xs ++ drop n xs == xs 

dla każdego n i xs.

Prawdopodobnie powinniśmy mieć zarówno takeAtMost, jak i takeAtLeast, przy czym ten ostatni jest wariantem częściowym (lub zamiast tego powraca Maybe).

Podobna obawa wynika z zip, która również jest całkowita, nawet jeśli dotyczy list o różnej długości. Nadal jest często wykorzystywany w idiomie zip [1..] xs, który paruje każdy element listy z własnym indeksem.

Należy jednak pamiętać, że nie twierdzę, że całkowita funkcja jest zawsze preferowana. W wielu zadaniach programistycznych uzyskanie wyjątku pokazującego błąd jest błogosławieństwem w porównaniu z uzyskaniem wyniku i nie mając pojęcia o tym, gdzie znajduje się błąd. Albo jeszcze gorzej, otrzymując błędny wynik wiarygodny, a nawet nie odkrywając, że istnieje błąd.

Answer 2

take i drop są podobne do funkcji lewego podciągu i prawego podłańcucha, a w praktyce udowodniono, że są wygodne dla osób, które nie podnoszą błędu w przypadku ujemnych lub nieprawidłowych długości.

Na przykład - funkcja padding:

pad :: Int -> String -> String 
pad n str = (repeat (n - length str) ' ') ++ str 

i tutaj jest wariantem pad z innym ciągiem:

padWith :: String -> Int -> String -> String 
padWith field n str = (take (n - length str) field) ++ str