Muistutuksia

Ryhmät

• Hyvä hyvä!, mutta aika monella jäi pahasti kesken.
• Muistakaa päivittää palautusrepon README vastaamaan ryhmän aitoa kokoonpanoa.

Seuraavat demot

Koska jäi pahasti kesken, niin

• Tehdään ensiviikolla uudestaan!
• Tarkennetaan tehtävänantoa.
• Lisätään täydentävä tehtävä.
• (Uusi tehtävälappu tulee huomenaamulla)

Seuraavat demot

Koska tekemistä on vähemmän

• Tiistain harjoituksissa vierailee Joel Lehtonen
• Joel kertoo funktio-ohjelmoinnin käytöstä teollisuudessa
• Kannattaa tulla kuulemaan.

Tämän kerran tehtävät

Kysymys & Vastaus

• Se jolla on kysymys kysyy
• Minä arvon vastaajan, ellei vapaaehtoisia ilmene

Tarkoitus

• Ensiviikolla onnistuu

Alkuunpääsemiseksi

data Rectangle = R Int Int Int Int deriving (Eq,Show)
mkR a b c d = R (min a c) (min b d) (max a c) (max b d)

instance Arbitrary (Rectangle)
    where 
        arbitrary = mkR <$> choose (-100,100) <*> choose (-100,100) 
                        <*> choose (-100,100) <*> choose (-100,100)

Alkuunpääsemiseksi

areaR (R l t r b) = (r-l)*(b-t)

intersect1D (x,y) (u,w) = 
    not $ (x <= min u w && y <= min u w) 
          || (x >= max u w && y >= max u w) 

intersects re1@(R l1 t1 r1 b1) re2@(R l2 t2 r2 b2) 
  | areaR re1 > 0 && areaR re2 > 0 
    = intersect1D (l1,r1) (l2,r2) && intersect1D (t1,b1) (t2,b2)
  | otherwise = False

intersection (R l1 t1 r1 b1) (R l2 t2 r2 b2) 
    = R (max l1 l2) (max t1 t2) 
        (min r1 r2) (min b1 b2)

• Tämä pitää sitten myös testata ;)

Alkuunpääsemiseksi

Tyyppejä

• Suorakaide
• Kokoelma suorakaiteita (Kahden suorakaiteen yhdiste ei ole suorakaide)
• Yhdistelmä mittausarvosta ja suorakaiteesta/kokoelmasta niitä

Operaatioita

• leikkaus :: Suorakaide -> Suorakaide -> Suorakaide
• yhdiste :: Suorakaide -> Suorakaide -> [Suorakaide]
• alaS :: Suorakaide -> Int
• alaL :: [Suorakaide] -> Int
• leikkausL :: [Suorakaide] -> [Suorakaide] -> [Suorakaide]
• yhdisteL :: [Suorakaide] -> [Suorakaide] -> [Suorakaide]

Alkuunpääsemiseksi

Tyyppiluokkia

• Monoid
  • Suorakaide + leikkaus
  • [Suorakaide] + yhdisteL
• Functor
  • MitattuAla a
• Entäpä
  • alaS ja alaL
  • leikkausS ja leikkausL
  • yhdiste ja yhdisteL

Alkuunpääsemiseksi

Testejä

• ala x > 0
• Leikkauksen ala <= leikattujen neliöiden ala
• leikkaus a b == leikkaus a (leikkaus a b) (Idempotenssi)
• leikkaus a b == leikkaus b a (kommutatiivisuus)
• yhdisteL (yhdiste a b) (A a) == yhdiste a
• yhdisteen ala <= yhdistettyjen alojen summa
• jne.

HUOM!

• QuickCheck käyttää yksinkertaisia tyyppejä:
  • Rajoitteella (Ord a) saatte arvon () mikä ei hirveästi testaa mitään
  • Tehkää siis tyyppimääritelmiä!

Toivomuslista

Vastausten perusteella tarvitsette:

• Kertausta Monad & Applicative-luokista.
• Kertausta todistuksista.
• Tietoa moniparametrisista tyyppiluokista.
• Lisää ohjausta ohjelman suunnitteluun.
• Keksittekö lisää? Laittakaa postia.