Haskell (programspråk)
Haskell är ett funktionellt programspråk. Utvecklingen av språket, som fick sitt namn efter den amerikanska logikern Haskell Curry, startades 1987 av en internationell kommitté. Femton år senare, år 2003, publicerade de sedan en stabil definition av språket. Haskell bygger till stor del, som många andra funktionella programspråk, på lambdauttryck och rekursion, men har också ett starkt typsystem och flera andra relativt ovanliga egenskaper som exempelvis lat evaluering. Språket är också konstruerat för att vara så kompakt och så likt matematik som möjligt, och lånar därför symboler ur både logiken och matematiken.
Det finns flera implementationer av Haskell, mest kända är tolken Hugs och kompilatorn Glasgow Haskell Compiler, båda två är fri programvara. Hugs är en läs-tolka-skriv-slinga liknande den som många Lisp-system har och används för att interaktivt köra och testa sina program och funktioner. Även GHC har en interaktiv tolk, GHCi, med ett gränssnitt liknande Hugs.
Egenskaper redigera
- Typsystemet har stark statisk typning med typinferens
- Haskell använder lat evaluering som standard
- Språket är rent, och sidoeffekter kapslas in i monader
- Haskell har högre ordningens funktioner (se nedan)
- Mönstermatchning och Guards
Kodexempel redigera
Hello, World! redigera
Skriver ut en rad med texten "Hello World".
main :: IO ()
main = putStrLn "Hello World"
Fakultet redigera
Beräknar fakulteten av det givna heltalet. Funktionen är odefinierad för negativa tal.
fac :: Integral a => a -> a
fac 0 = 1
fac n = n * fac (n-1)
Högre ordningens funktioner redigera
Standardfunktionen map tar två argument; en funktion och en lista, och applicerar funktionen på varje element i listan. Notera även mönstermatchningen som görs på det andra argumentet i (x:xs).
map :: (a -> b) -> [a] -> [b]
map _ [] = []
map f (x:xs) = f x : map f xs
Monader redigera
Utskrift till skärm och läsning av fil är exempel på operationer som har sidoeffekter. I Haskell stängs sådana operationer in i monader, och i detta fall IO-monaden. Notera dock att funktionen size inte är monadisk, utan har den enkla typen String -> Int
main :: IO ()
main = do
putStrLn "Rollin in the IO Monad"
f <- readFile "text.txt"
putStrLn "Filen text.txt är " ++ (size f) ++ " rader lång"
where
size :: String -> Int
size file = length $ lines file
Externa länkar redigera
Den här artikeln anses behöva faktamallen {{Faktaruta programspråk}}.Källor redigera
- Hutton (2007). Programming in Haskell. Cambridge University Press. ISBN 9780521692694