Cheat sheet - nyelvtani segédlet/összefoglaló

-- Egysoros komment
{- Többsoros 
   komment. -}

import Data.List -- Modul importálása
import Prelude hiding (map, Maybe(..)) -- definíció eltakarása

n :: Int
n = 3 -- egész szám

c :: Char
c = 'X' -- karakter

str :: String
str = "szoveg" -- String

-- Nevek és operátorok használata
a1 = n `mod` 2
a2 = mod n 2
a3 = n + 2
a4 = (+) n 2

-- Zárójelek használata
x = succ (succ 2)
y = succ (1 + 2)

-- Mintaillesztés
fib :: Int -> Int -- Típus szignatúra
fib 1 = 1
fib 2 = 2
fib x = prev + prev2
 where prev = fib (x - 1) -- lokális definíciók, rekurzió
       prev2 = fib (x - 2)

swap :: (a,b) -> (b,a) -- Polimorf függvénytípus
swap (x,y) = (y,x) -- Párok mintaillesztése és készítése

comb :: [Int] -> [Int]
comb [] = [] -- Üres lista
comb [x] = [x] -- Egyelemű lista
-- Legalább 2 elemű lista, rekurzív függvényhívás
comb (first:next:rest) = (first + next) : comb rest 

min :: Ord a => a -> a -> a -- Típusmegszorítás
min a b | a < b     = a -- Őrfeltétel
        | otherwise = b -- Őrfeltétel

map' :: (a -> b) -> [a] -> [b] -- Magasabbrendű fv.
map' _ []     = []
map' f (x:xs) = f x : map' f xs
		
-- Függvénykompozíció, lambda, dollár jelölés
foo = fib . (\a -> a + 1) $ 10

-- Operátor szelet és intervallum kifejezések (pont-pont)
evens = map (*2) [1..1000]
positives = [1..]
evens' = [0,2..]
backward = [10,9..1]

data Point = P Double Double -- Adattípus definíciója
  deriving (Eq, Ord, Show)
    -- Egyenlőség, rendezettség és kiírathatóság bevezetése

origo :: Point
origo = P 0 0 -- adatkonstruktor paraméterezése

xCoord :: Point -> Double
xCoord (P x _) = x -- Mintaillesztés adatkonstruktorra

data F = F Int -- egyszerű típus és annak típusosztály példánya

instance Show F where
   show (F i) = "F " ++ show i 

data Maybe a = Nothing | Just a -- Polimorf adattípus

instance Show a => Show (Maybe a) where -- polimorf adattípus példányosítása
  show Nothing = "Nothing"
  show (Just e) = "Just " ++ show e