On vuosi 2026, ja kielimalli voi luoda leksikaalisen analysaattorin, tyyppitarkistimen ja toimivan kääntäjän sekunneissa. Miksi siis opetella rakentamaan niitä käsin? Koska luotu artefakti on väite – ja väite, jota et voi arvioida, ei ole tietoa, se on toivo hyvällä syntaksilla. Arvo ei koskaan ollut kirjoittamisessa.

Tämä kirja käsittelee yhtä kieltä – Lark, Lambda Affine Resource Kernel – todellisesta käskykannasta koneellisesti tarkistettuun todisteeseen siitä, että sen merkitys on pätevä, käsitellen laitteistoa, teoriaa ja todistusta yhtenä argumenttina. Aloitat piistä ja rakennat ylöspäin leksikaalisen analysaattorin, jäsentimen, tyyppijärjestelmän, tulkin ja optimoijan kautta koodigeneraattoriin, joka suorittaa Larkia natiivikoodina edullisella Raspberry Pi Pico 2/2W:llä.

Teoria ansaitaan, sitä ei oleteta: Hindley-Milner-päätelmä, affiini omistajuus ja piirteet, kukin esitellään, kun toteutus sitä tarvitsee. Ja kirja opettaa sen kurinalaisuuden, jota koodia generoivat työkalut vaativat – tulkin, joka määrittelee ohjelman merkityksen, differentiaalitestausvaljaat, jotka kertovat, mikä taustaosa on väärässä, tyyppiturvallisuusteoreeman, joka rajoittaa, mitä mikä tahansa muunnos voi tehdä. Ja sitten se kääntää tämän koneiston itseensä: valmis kääntäjä on fuzzattu, testit tarkistetaan istutetuilla virheillä, ja jopa todistusydintä hyökätään, kunnes se paljastaa omat virheensä – koska takuu on juuri niin paljon arvoinen kuin vastustaja, jonka se on selvinnyt.

Teknisesti lukutaitoiselle ohjelmoijalle, joka on aina halunnut ymmärtää, mitä heidän kielensä alla on, eikä ole koskaan löytänyt aloituskohtaa. Se olettaa perehtyneisyyden Pythoniin tai C:hen ja perusdatarakenteisiin – mutta ei riviäkään kääntäjäteoriaa.

MUUTA:
Mediatyyppi: Kirja
Sidosasu: Nidottu
Kirjoittaja: Set Lonnert
Kustantaja: BoD
Kieli: Englanti
Sivumäärä: 270 sivua
Painos: 2
Mitat (lxkxs): 170x220x17 mm
Paino: 476 grammaa
Kuvitettu: Ei

Viivakoodi: 9789181344387
SKU: 926054