Funkcje wyższego rzędu

Currying "Currying" to metoda aby funkcja przyjmująca jeden argument mogła przyjąć wiele argumentów. Currying jest możliwy dzięki temu, że użycie funkcji wiąże w lewo, więc f x y jest równoznaczne z (f x) y operator -> wiąże w prawo, więc a->a->a jest równoznaczne z a->(a->a)

Przykład: add :: Integer -> Integer -> Integer add a b = a + b add :: Integer -> (Integer -> Integer) add a b = a + b Użycie funkcji: add a b Co jest równoznaczne z: (add a) b

Funkcja map Funkcja map przyjmuje jako parametry funkcję add oraz listę. Działanie jej polega na wykonaniu funkcji add na wszystkich elementach listy. Można tak zastąpić prostą pętlę iteracyjną która co „okrążenie” wykonuje funkcję na danym elemencie.

Przykład: map' :: (a->b)->[a]->[b] map' f [] = [] map' f (x:xs)= f x : map f xs Użycie: Map’ (*2) [1,2,3,4]

Lambda Funkcje Lambda to funkcje anonimowe wykorzystywane głównie raz np. do przekazania jej w parametrze innej funkcji. Aby tego dokonać piszemy „\” listę parametrów oddzielonych spacjami, następnie „->” i ciało funkcji (najlepiej w nawiasie)

Przykład 1: add = \x y -> x+y Użycie: add x y

Przykład 1: f_lambda = \x -> (x * x) f x = x * x Użycie: f x

Moduły

Moduł – zestaw powiązanych funkcji, typów, typeclass Moduł – zestaw powiązanych funkcji, typów, typeclass. Program w Haskellu często jest modułem, który ładuje inne moduły a następnie wykorzystuje zdefiniowane w nich funkcje w celu realizacji postawionego zadania. Haskell dostarcza w postaci modułów bibliotekę funkcji pozwalających np. na: operacje na liczbac zespolonych, operacje na listach, programowanie współbieżne itp.

Moduły w Haskellu importuje się przy pomocy: import nazwa modułu Z danego modułu można też importować poszczególne funkcje np: import Data . List ( nub , sort )

data.list - operacje na listach Przykładowe funkcje: transpose – transpozycja listy list import Data.List Użycie: transpose ["Ala","ma","kota"] Odpowiedź: ["amk","lao","at","a"]

concat – zamiany listy list na listę import Data.List Użycie: concat ["Ala","ma","kota"] Odpowiedź: "Alamakota"

sort - sortuje listę elementów import Data.List (sort) Użycie: sort [1,4,7,9,2,5,3,8] Odpowiedź: [1,2,3,4,5,6,7,8,9]

nub - usuwa z listy duplikaty elementów listy import Data.List (nub) Użycie: nub "Ala ma kota a kot ma Ale„ Odpowiedź: "Ala mkote"

words - dzieli linię tekstu na słowa i tworzy linię tekstu z tych słów import Data.List Użycie: words "Witaj swiecie„ Odpowiedź: ["Witaj","swiecie"]

data.char Moduł Data.Char zawiera funkcje do operowania na pojedynczych znakach: map digitToInt – zamienia znak na typ Int import Data.Char Użycie: map digitToInt "FF85AB„ Odpowiedź: [15,15,8,5,10,11]

intToDigit – jest funkcją odwrotną do digitToInt import Data.Char Użycie: intToDigit 15 Odpowiedź: 'f'