Luku 5. Monadit. 5.1 Siirrännän ongelma

Transkriptio

1 Luku 5 Monadit There are lots of books about functional programming in Haskell. They tend to concentrate on the beautiful core of functional programming: higher order functions, algebraic data types, polymorphic type systems, and so on. These lecture notes are about the bits that usually aren t written about. To write programs that are useful as well as beautiful, the programmer must, in the end, confront the Awkward Squad, a range of un-beautiful but crucial issues, generally concerning interaction with the external world I began this introduction by saying that we must confront the Awkward Squad if we are to write useful programs. Does that mean that useful programs are awkward? You must judge for yourself, but I believe that the monadic approach to programming, in which actions are first class values, is itself interesting, beautiful, and modular. In short, Haskell is the world s finest imperative programming language. Simon Peyton Jones Siirrännän ongelma Jokainen hyödyllinen ohjelma muuttaa maailmaa. Tämän muutoksen ei tarvitse olla missään nimessä niin voimakas kuin ydinaseen laukaisua kontrolloivan ohjelman; esimerkiksi yksinkertainen Hello World muuttaa näytöllä olevien väripisteiden valoisuutta. Toisaalta ohjelma, jolla ei ole mitään vaikutusta, on täysin hyödytön, sillä sen voisi ihan yhtä hyvin korvata ohjelman olemattomuudella! Funktio-ohjelmoinnissa on perinteisesti lähdetty liikkeelle laskukoneanalogiasta, jossa tietokone varustettuna funktiokielen tulkilla tai kääntäjällä on kehittynyt laskin, ja ohjelmoijan tehtävänä on kirjoittaa tämän laskimen käyttäjän käyttöön lisää valmisfunktioita, jotka sopivat tietyn ongelmatyypin ratkaisemiseen. Kuitenkin Oikeassa Maailmassa TM on totuttu ohjelmiin, jotka ottavat 1. Peyton Jones, Simon: Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. simonpj/papers/marktoberdorf/,

2 54 LUKU 5. MONADIT tietokoneen kontrollin (osittain tai kokonaan) itselleen ja itse huolehtivat tarvitsemansa syötteen saamisesta ja tuloksen antamisesta käyttäjälle. Kuinka tämän voisi sovittaa funktio-ohjelmoinnin ideologiaan? 2 Tiukat funktiokielet (kuten Standard ML ja Scheme) ovat tiukan pragmaattisia. Ne tarjoavat käyttäjälle joukon funktioita, joilla on sivuvaikutuksia, kuten printchar. Näitä kieliä ei haittaa, vaikka tällaiset vekottimet ovat funktioita vain nimellisesti (niillä ei ole funktion perusominaisuutta: (f x, f x) tulisi olla sama kuin let y = f x in (y, y)). Laiskasti laskevilla (lazy evaluation) kielillä (kuten Haskell tavanomaiseen tapaan toteutettuna) on se ongelma, että tuo pragmaattinen ratkaisu ei ole mahdollinen. Innokkaasti laskevassa (eager evaluation) kielessä lausekkeen let x = [printchar a, printchar b ] in length x arvo olisi 2, ja sillä olisi lisäksi sivuvaikutus: se tulostaa merkkijonon "ab". Haskellissa tuon lausekkeen arvo olisi toki edelleen 2, mutta koska length ei ole kiinnostunut listan alkioista, niitä ei koskaan lasketa, jolloin mitään sivuvaikutuksia ei kyseisellä lausekkeella olisi. Laiska laskenta ja sivuvaikutukset eivät sovi yhteen. Aiemmin tässä monisteessa mainittiin eräs tapa kiertää tämä ongelma: ajatellaan, että ohjelma on laiska funktio String String. Tällöin kielen toteutukseen kuuluu ajonaikainen suoritusjärjestelmä (runtime system), joka hankkii syötteen käyttäjältä ja antaa sen ohjelmalle ja joka ottaa ohjelmalta sen tulosteen ja antaa sen käyttäjälle. Näin epäpuhtaudet on saatu siirrettyä ohjelmasta syrjään. Ongelmallinen tämä merkkijonofunktioidea on sikäli, että se ei mitenkään salli usean tiedoston käsittelyä. Tämä ongelma voidaan toki myös kiertää: tehdään ohjelmista funktioita [Response] [Request], jossa tyypit Response ja Request ovat esimerkiksi seuraavanlaisia: type Filepath = String data Request = ReadFile FilePath WriteFile FilePath data Response = RequestFailed ReadSucceeded String Tässäkin tarvitaan suoritusjärjestelmää; nyt se lukee funktion pyyntöjä sen laiskasta paluuarvolistasta, toteuttaa niitä ja laittaa niiden tulokset funktion laiskaan agrumenttilistaan. Tämä toimii suhteellisen hyvin, ja vanhat Haskellin versiot käyttivät tätä menetelmää. Tässäkin on kyllä omat ongelmansa, esimerkiksi ohjelman on helppo vahingossa vaatia vastausta pyyntöön, jota se ei 2. Vaikka oikeasti nykyisin odotetaankin pitkälti graafisia käyttöliittymiä, käsittelemme tässä vain perinteistä merkkipohjaista siirräntää. Kun sen ongelma on ratkaistu, käyvät perinteisestä ohjelmoinnista tutut graafisen ohjelmoinnin keinot tässäkin.

3 5.2. KOMBINATORINEN RATKAISU 55 ole vielä lähettänyt, mikä johtaa ohjelman lukkiutumiseen (deadlock). Toinen ongelma on se, että pyynnöt ja niiden vastaukset ovat erillään toisistaan, ja on suhteellisen helppoa menettää niiden välinen synkronointi. Vielä yksi tapa on ajatella ohjelmaa funktiona World (a, World), missä World on abstrakti tietotyyppi, joka mallittaa (riittävää osaa) maailmasta. 5.2 Kombinatorinen ratkaisu Fiksuimmalta ratkaisulta siirrännän ongelmaan vaikuttaa kuitenkin kombinatorinen tyyli: kieli tarjoaa joukon primitiivisiä, atomaarisia (jakamattomia) ohjelmia sekä joukon kombinaattoreita, joilla näitä ohjelmia voidaan toisiinsa yhdistellä. Haskell 98 käyttää tätä menetelmää. Haskellissa ohjelman tyyppi on IO α. Tyyppiin IO α kuuluvat sellaiset ohjelmat, jotka palauttavat käynnistäjälleen tyyppiä α olevan arvon. Esimerkiksi IO () sisältää ohjelmat, jotka eivät palauta mitään (hyödyllistä); nämä ovat toki hyödyllisiä, koska ohjelmat vaikuttavat suoraan maailmaan. Ohjelma, joka on tyyppiä IO String palauttaa suorituksensa lopuksi käynnistäjälleen merkkijonon. Haskellin varuskirjasto tarjoaa mm. seuraavat atomaariset ohjelmat: putchar :: Char IO () on funktio, joka ottaa parametrinaan merkin ja palauttaa ohjelman, joka tulostaa kyseisen merkin vakiotulostusvirtaan. getchar :: IO Char on ohjelma, joka lukee vakiosyötevirrasta yhden merkin ja palauttaa sen suorituksensa lopuksi käynnistäjälleen. return :: α IO α on funktio, joka ottaa parametrinaan jonkin arvon ja palauttaa ohjelman, joka ei tee yhtikäs mitään mutta palauttaa suorituksensa lopuksi kyseisen arvon käynnistäjälleen. Kannattaa huomata, että pelkkä lausekkeen getchar laskeminen tuottaa ulos vain ohjelman, se ei aiheuta sen ajamista. Ohjelmat ovat Haskellissa arvoja siinä missä merkkijonot ja luvut: niitä voidaan laittaa listoihin, ne voidaan sitoa muuttujiin, niitä voidaan antaa funktioille parametriksi, palauttaa paluuarvoina ja niin edelleen. Haskellissa on vain kaksi tapaa, jolla IO α-ohjelma tulee ajetuksi: 1. Jos GHCi:n komentoriville kirjoitetaan lauseke, joka on tyyppiä IO α jollakin α, niin GHCi suorittaa tämän lausekkeen tarkoittaman ohjelman. 2. Kun moduli Main käännetään, tulokseksi tulee se ohjelma, johon kyseisen modulin main-vakio on sidottu.

4 56 LUKU 5. MONADIT Kummassakin tapauksessa ohjelman suorituksensa lopuksi palauttama arvo jätetään huomiotta. Edellä annetut atomaariset ohjelmat ovat yksinään varsin hyödyttömiä. Varsinaisia kunnon ohjelmia saadaan aikaiseksi yhdistelemällä niitä. Siihen Haskellin varuskirjasto tarjoaa kaksi primitiivistä kombinaattoria: ( ) :: IO α IO β IO β ottaa kaksi ohjelmaa ja tuottaa uuden ohjelman, joka ensin tekee sen, mitä ensimmäinen ohjelma tekee, ja sitten tekee sen, mitä toinen ohjelma tekee. Ensimmäisen ohjelman paluuarvon se jättää huomiotta, ja uusi ohjelma palauttaa sen, mitä toinen ohjelma palauttaa. Esimerkiksi getchar putchar! on ohjelma, joka lukee merkin, heittää sen pois ja tulostaa huutomerkin. ( ) :: IO α (α IO β) IO β ottaa ohjelman sekä funktion, joka palauttaa ohjelman. Se tuottaa uuden ohjelman, joka ensin ajaa ensimmäisenä parametrina saamansa ohjelman ja sitten ajaa sen ohjelman, jonka toisena parametrina annettu funktio palauttaa, kun sille annetaan parametriksi se, mitä ensimmäinen ohjelma palauttaa. Uusi ohjelma palauttaa sen, mitä funktion palauttama ohjelma palauttaa. Esimerkiksi getchar putchar on ohjelma, joka lukee merkin ja sitten tulostaa sen. Operaattorit ja kirjoitetaan koneelle muodossa >> ja >>=. Ne lausutaan toisinaan sitten (then, ) sekä sido (bind, ). Oikeastaan ( ) ei ole lainkaan primitiivinen: se voidaan määritellä ( ):n avulla seuraavasti: ( ) :: IO α IO β IO β p q = p (λ _ q) Haskellin varuskirjastoon kuuluu useita edellä esitettyjen ohjelmien ja ohjelmakombinaattorien avulla rakennettavia ohjelmia ja ohjelmafunktioita: putstr :: String IO () putstr s = foldr ( ) $ map putchar s putstrln :: String IO () putstrln s = putstr s putstr "\n" print :: Show α α IO () print x = putstrln (show x)

5 5.2. KOMBINATORINEN RATKAISU 57 Samaan sarjaan kuuluu seuraavakin funktio, jonka määritelmä esittelee muutenkin hyödyllisen tavan kirjoittaa ohjelmia: getline :: IO String getline = getchar λc case c of \n return "\n" _ getline λl return (c : l) Kun rivinä on foo λx, sitä voidaan ajatella erikoisena tapana kirjoittaa imperatiivisista kielistä tuttu rivi x := foo;. Kombinaattori yhdistettynä λ- lausekkeeseen kun on tapa ilmaista jokin suoritettava ohjelma(lause), jonka tulos sijoitetaan muuttujaan x. Tämän vuoksi Haskellissa on kielioppimakeinen tällaisten kirjoittamiseen: muotoa do { P; Q } oleva lauseke tarkoittaa lauseketta P (do { Q }) ja muotoa do { x P; Q } oleva lauseke tarkoittaa (suunnilleen) lauseketta P λx (do { Q }). Kuten tavallista, myös tässä voidaan käyttää sisennystekniikkaa sulkujen ja puolipisteiden kera. Tällä tavalla ilmaistuna edellinen ohjelma olisi muotoa getline :: IO String getline = do c getchar case c of \n return "\n" _ do l getline return (c : l) Näyttää aika imperatiiviselta, vai mitä?