hwechtla-tl: Teos: ML

Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset

---

Runoilija inspiraation vallassa, kirjoittaa kynä sauhuten. Pöydällä oleva viinilasi on puolillaan.

Miksi?

• ML-kielen eri toteutukset olivat ensimmäisiä kieliä, joissa oli polymorfinen automaattinen staattinen tyypitys. Käytännössä se merkitsee, että ohjelmoijan kirjoitustyö vähenee mutta ohjelmat toimivat silti tehokkaasti.
• ML-kielissä on myös osittain matematiikasta lainattu, käytännönläheinen (muttei kovin minimalistinen) syntaksi. Yhdessä syntaksi ja tyyppijärjestelmä tekevät ML-kielistä hauskoja käyttää ja ML-ohjelmoinnista nopeaa.
• Puristit eivät oikein pidä ML-kielistä: niiden suunnitteluvalinnoissa on liikaa kompromisseja. ML-kielten kaltainen tyyppijärjestelmä on myös Haskell-kielessä, joka pyrkii olemaan oikeaoppisempi joka suhteessa.

Kuvia netistä:

• http://ecx.images-amazon.com/images/I/5147D0WK2ZL._SL500_AA300_.jpg
• http://ecx.images-amazon.com/images/I/41K2ZMVdzDL._SL500_AA300_.jpg
• http://www.elliottoti.com/code/objectline/screenshots/screenshot.jpg

type 'a dynvar = ('a -> 'a) Delimcc.prompt

let dnew () = new_prompt ()

let dref p      = shift p (fun f -> fun v -> f v v)

let dset p newv = shift p (fun f -> fun v -> f v newv)

let dupp p g    = shift p (fun f -> fun y -> f (g y) y)

let dlet p v body = 
    let q = new_prompt () in
    push_prompt q (fun () ->
      ign 
       ((push_prompt p (fun () -> abort q (body ())))
        v))

näyttely: ohjelmointikielten kuvat