Miksi tämä kurssi

Ohjelmistotuotannon kriisi

"64 bit vs 32 bit"
"Meillä on 10 miljoonaa riviä koodia..
meidän webbikauppasoftassa.."
"yli puolet softaprojekteista keskeytyy.."
"tullihallituksen nettituontipalvelu.."
"Hardware halpenee, softa kallistuu..
..exponentiaalisesti"

Miksi tämä kurssi

Mikä ei oikeastaan kiinnosta meitä yhtään..

Ohjelmoinnin oppiminen oli jännää
Funktio-ohjelmointi on (jatkuvasti) jännää
Funktio-ohjelmointi on akateemisesti vakava harrastus
Henk. koht. projekteihin tarvitsee aina teollista standardia moninverroin tehokkaamman työkalun

TIES343 kurssi

Kurssin tarkoitus

Oppia jotain varsin uutta ja erilaista
Oppia perustason funktio-ohjelmointi
Oppia perustason Haskell-ohjelmointi

Ohjelmoimaan oppii vain ohjelmoimalla

Ohjaukset, ei luentoja
Ohjelmoidaan paljon
Tehdään vaikeita tehtäviä
Ohjaus otetaan vakavasti

"Ohjaus otetaan vakavasti" ?

Antoine / ane

Heikki / deggis

Ville

TIES343 kurssi

Käytännöt

Keskusteleva kurssi
Ryhmämuotoinen opiskelu
100% suoritus ⇔ 100% suoriutuminen
Ei tenttiä

Filosofia

Ryhmät ja ohjaajat auttavat, mutta..
..Sinä vastaat oppimisestasi

Käytäntöä

Ryhmät

2-4 hengen ryhmät. Kukaan ei jää ilman!
Vaihtakaa yhteystietonne ryhmän kanssa
Varmista:
1. Kaikki ovat löytäneet demotehtävät
2. Kaikki ovat saaneet käännettyä Haskell-ohjelman
3. Ryhmä on onnistuneesti kokeillut demojen palautusta
4. Joku ilmoittaa ryhmän kokoonpanon ohjaajille

Mitä Haskell on?

Puhdas ⇒ Ei silmukoita, ei olioita, ei muuttuvia muuttujia, ei sivuvaikutuksia
Laiska ⇒ Ei laskujärjestystä, äärettömiä tietorakenteita, itsemääriteltyjä kontrollirakenteita
Hyvin tyypitetty ⇒ Ei arianne vitosta
Tyypinpäättelevä ⇒ Ei muuttujien esittelyä
Funktionaalinen ⇒ Funktiot arvoja

Mitä Haskell on?

Deklaratiivinen ⇒ Mitä tehdään. Ei miten tehdään.
Tuottoisa ⇒ 10-25 kertaa vähemmän koodia (vrt. C/Java)
Tehokas ⇒ 2-5 kertaa hitaampi kuin C
Modulaarinen ⇒ Ohjelman osat toimivat yhteen ilman liimaa
Turvallinen ⇒ Ohjelmat tekevät mitä pitää

Mistä alkuun?

Kurssin kotisivu http://users.jyu.fi/~aleator/TIES343/
Learn You A Haskell http://learnyouahaskell.com/
Real World Haskell http://book.realworldhaskell.org/

Haskell ympäristön asentaminen

Natiivi ympäristö

Lataa Haskell-platform osoitteesta http://hackage.haskell.org/platform/
tai asenna se yo. suoraan käyttiksen pakettimanagerista. Tarvitset version 2011.2.0.1

VirtualBox ympäristö

Lataa ja asenna VirtualBox osoitteesta http://www.virtualbox.org/wiki/Downloads
Lataa virtuaalikonekuva
Ota virtuaalikonekuva käyttöön VirtualBoxissa (file/import appliance)

Mikroluokissa toimiminen

Moi,

Testattu toimivaksi Finland / Asia luokissa. Hieman säätämistä näytön resoluution kanssa jotta se tuntuu sopivalta.

Virtuaali koneen oletustallennuspaikka kannattaa vaihtaa jotta se ei mene käyttäjän profiiliin. Vaihto tapahtuu Tiedosto -> Asetukset -> Virtuaalikoneiden oletuskansio.

Virtuaalikoneen importtauksessa VirtualBoxiin menee noin 10-15 minuuttia joten kannattaa heti demojen alussa laittaa käyttäjät importtaamaan konetta.

-- Santeri Lapinmäki

Ensimmäinen haskell ohjelma

Ohjelman kääntäminen

>mkdir demot && cd demot
>vim Hello.hs
  'module Main where
   nimi = "Ville"
   main = print ("hello"
                , nimi)' 
>ghc --make Hello.hs
>./Hello

GHCi-tulkin käyttö

>ghci Hello.hs
ghci> :t nimi
nimi :: [Char]
ghci> nimi++nimi
"VilleVille"

Demojen palautus

Yousourcen käyttöönotto

Kirjaudu sisään osoitteeseen http://yousource.it.jyu.fi ja seuraa sivuston ohjeita järjestelmän käyttöönotossa.
Kloonaa Palautusrepo ja anna sille fiksu nimi
Lue ohjeet kloonisi 'Getting Started'-kohdasta

Demotehtävän palautus

> git add Hello.hs
> git commit -m"Hello world-demovastaus" && git push origin master

Huom! Käytä hakemistorakennetta (viikko_i/teht_j/). Kannattaa myös laittaa välivaiheet samaan tietovarastoon talteen!

Lisää apua Pro Git - kirjasta

Ensimmäisen viikon ohjelma

Ympäristö pystyyn (heti)
Aloittakaa demojen teko (pe)
Laittakaa kysymykset ja kommentit tehtävistä luennoijalle (ti-aamu)
Tulkaa pakollisiin ohjauksiin (ti-ilta, Ag B212.1)
Tehkää tehtävät loppuun ja palauttakaa ne (ke)
Jos ei onnistu, niin tulkaa vapaaehtoisiin harjoituksiin (ke-ilta, Ag B212.1)
Tulkaa esittelemään tehtävänne demotilaisuuteen (to-ilta, Ag B111.1)

Demot

Harjoitukset #1

Tehtävä: Äkkisukellus Haskellin syntaksiin
Käännä ja lue annettu esimerkkiohjelma
Tee taulukko kaikista rakenteista ja symboleista, sekä niiden merkityksestä
Kokeile rakenteita tulkissa

Yleisesti

Kaikissa demonpalautuksissa oletetaan, että vastausten lisäksi opiskelijoilla on tarjota omia mietteitä aihealueesta

Mistä apua?

Kysy ryhmän jäseniltä
Kysy irkissä, #TIES343
Kysy ohjauksien yhteydessä
Kysy luennoijalta (ville.tirronen@jyu.fi)