LP 2017-11-06 Tipus

p1.hs

-- Joc de pedra paper o tisora

data Jugada = Pedra | Paper | Tisora

guanya :: Jugada -> Jugada -> Bool

Pedra `guanya` Tisora = True
Tisora `guanya` Paper = True
Paper `guanya` Pedra = True
_ `guanya` _ = False

p2.hs

-- Els booleans estàndards deuen ser alguna cosa així:

data Bool = False | True

p3.hs

-- Llistes d'enters

data LlistaEnters 
    = Buida
    | Int `Davant` LlistaEnters

llista1 = 3 `Davant` (4 `Davant` Buida)
llista2 = 5 `Davant` llista1

llargada :: LlistaEnters -> Int
llargada Buida = 0
llargada (_ `Davant` ll) = 1 + llargada ll

p4.hs

-- Llistes genèriques

data Llista a
    = Buida
    | a `Davant` LlistaEnters

llista1 = 3 `Davant` (4 `Davant` Buida)
llista2 = 5 `Davant` llista1

llargada :: Llista -> Int
llargada Buida = 0
llargada (_ `Davant` ll) = 1 + llargada ll

p5.hs

-- Les llistes estàndards deuen ser alguna cosa així:

data [a] = [] | a:[a]

p6.hs

-- Arbres binaris genèrics

data Arbin a
    = Buit
    | Node a (Arbin a) (Arbin a)

arbre1 = Node 6 (Node 3 Buit Buit) (Node 2 Buit Buit)

alçada :: Arbin a -> Int
alçada Buit = 0
alçada (Node _ fe fd) = 1 + max (alçada fe) (alçada fd)

mida :: Arbin a -> Int
mida Buit = 0
mida (Node _ fe fd) = 1 + mida fe + mida fd

p7.hs

-- Arbres generals genèrics

data Argal a
    = Buit
    | Node a [Argal a]


arbre1 = Node 6 [Node 3 Buit Buit, Node 2 Buit Buit, Node 5 Buit Buit]

alçada :: Arbin a -> Int
alçada Buit = 0
alçada (Node _ fills) = 1 + maximum $ map alçada fills

mida :: Arbin a -> Int
mida Buit = 0
mida (Node _ fills) = 1 + sum $ map mida fills

p8.hs

-- Expressions genèriques

data Expr a 
    = Val a
    | Neg (Expr a) 
    | Add (Expr a) (Expr a)
    | Sub (Expr a) (Expr a)
    | Mul (Expr a) (Expr a)
    | Div (Expr a) (Expr a)

expr1 = Neg (Add (Val 3) (Mul (Val 2) (Val 6)))

eval :: Expr a -> a
eval (Val x) = x
eval (Neg e) = -e
eval (Add e1 e2) = e1 + e2
eval (Sub e1 e2) = e1 - e2
eval (Mul e1 e2) = e1 * e2
eval (Div e1 e2) = e1 / e2

p9.hs

-- Tipus estàndards 

data Maybe a = Just a | Nothing
data Either a b = Left a | Right b