Language Stack : From Silicon to Semantics, The
It is 2026, and a language model can generate a lexer, a type checker, and a working compiler in seconds. So why learn to build them by hand? Because a generated artifact is an assertion - and an assertion you cannot evaluate is not knowledge, it is a hope with good syntax. The value was never in... Lue lisää
It is 2026, and a language model can generate a lexer, a type checker, and a working compiler in seconds. So why learn to build them by hand? Because a generated artifact is an assertion - and an assertion you cannot evaluate is not knowledge, it is a hope with good syntax. The value was never in... Lue lisää
-
Tuotekuvaus
It is 2026, and a language model can generate a lexer, a type
checker, and a working compiler in seconds. So why learn to build
them by hand? Because a generated artifact is an assertion -
and an assertion you cannot evaluate is not knowledge, it is a hope
with good syntax. The value was never in the typing.
This book carries one language - Lark, the Lambda Affine Resource
Kernel - from a real instruction set to a machine-checked proof
that its meaning is sound, treating the hardware, the theory, and
the proof as a single argument. You begin at the silicon and build
upward through lexer, parser, type system, interpreter, and
optimizer, to a code generator that runs Lark as native code on an
affordable Raspberry Pi Pico 2/2W.
Theory is earned, not assumed: Hindley-Milner inference, affine
ownership, and traits, each introduced when the implementation needs
it. And the book teaches the discipline that code-generating tools
demand - an interpreter that defines what a program means,
a differential-testing harness that says which back end is wrong, a
type-safety theorem that bounds what any transformation may do. And
then it turns that machinery on itself: the finished compiler is
fuzzed, the tests are checked with planted bugs, and even the proof
kernel is attacked until it gives up its own flaws - because a
guarantee is worth exactly as much as the adversary it has survived.
For the technically literate programmer who has always meant to
understand what is under their language and never found the entry
point. It assumes familiarity with Python or C and basic data
structures - but not a line of compiler theory. -
Tuotetiedot
- Kustantaja / Valmistaja BoD
- ISBN 9789181344387
- Tuotekoodi 9789181344387
- Kirjoittajat Set Lonnert
- Kieli Englanti
- Thema-luokitus Tiedonkäsittely ja tietotekniikka
- Ilmestymispäivä 07.07.2026
- Vuosi 2026
- Painos 2
- Tuoteryhmä Ruots muu tieto
- Tuotepääryhmä Ruotsinkieliset kirjat
- Tuotelinja Kirjat
- Sivumäärä 270
- Kirjastoluokka U
- Pituus (mm) 220
- Leveys (mm) 170
- Korkeus (mm) 17
- Paino (g) 476
- Tuotemuoto Pehmeäkantinen
- Tuotemuodon lisätiedot Haka- tai satulasidottu
- Tuoteturvallisuusyhteystiedot BoD - Books on Demand, Linda Reumann, 08-50256600, info@bod.se, Östermalmstorg 1, 11442, Stockholm
- ALV 13,5%
Tämä tuote kuuluu tuoteryhmiin
Tuotearvostelut Suomalainen.comissa
Tutustu tuotearvostelujen käytäntöihin ja ehtoihin ennen kuin jätät arvostelun.
Suomalainen.com -verkkokaupassa on mahdollista jättää tuotearvosteluja siellä myynnissä olevista tuotteista. Tuotearvosteluja voivat jättää sekä tuotetta Suomalaisesta Kirjakaupasta ostaneet asiakkaat että muut sivuston käyttäjät. Arvostelijan nimimerkin jälkeinen teksti kertoo, onko kyseessä vahvistettu ostaja vai muu asiakas/sivuston käyttäjä.
-
Vahvistettu ostaja - Kyseinen arvostelu on jätetty käyttämällä tuotteen ostajalle lähetettyä sähköpostilinkkiä. Kyseessä on siis vahvistettu ostaja eli arvostelun jättänyt henkilö on ostanut todennetusti kyseisen tuotteen.
-
Vahvistettu suosittelija - Kyseinen arvostelu on jätetty suomalainen.com -verkkosivustolla. Arvostelijan sähköpostiosoite on vahvistettu, jotta on voitu varmistua siitä, että arvostelun on jättänyt oikea henkilö. Suomalainen.com ei kuitenkaan ole vahvistanut, että kyseinen henkilö on ostanut tuotteen.
- Ei tekstiä nimimerkin jälkeen - Kyseinen arvostelu on jätetty suomalainen.com -verkkosivustolla, mutta arvostelun jättäjän sähköpostiosoitetta ei ole vahvistettu.
Tuotearvostelussa pakollisia tietoja ovat tuotteen pistemäärä (tähdet), otsikko sekä arvosteluteksti. Jos jätät arvostelun sinulle lähetetyn sähköpostilinkin kautta, arvostelu julkaistaan käyttämällä etunimeäsi sekä sukunimen ensimmäistä kirjainta.
Jos jätät arvostelun sivustollamme, voit käyttää arvostelussa myös nimimerkkiä. Arvostelun jättämisen yhteydessä sinulta kysytään sähköpostiosoitetta, jonka avulla vahvistamme, että arvostelun on lähettänyt oikea henkilö, eikä esimerkiksi robotti. Tuotearvostelujen palveluntarjoajana toimii Yotpo. Katso Yotpon tietosuojaseloste.
Arvostelut julkaistaan tuotteen kohdalla automaattisesti ja ne tulevat esiin viiveellä. Suomalainen.com pidättää kuitenkin oikeuden poistaa kommentit, jotka sisältävät epäasiallista, herjaavaa tai halventavaa kieltä, vihapuhetta tai ovat muuten hyvän tavan vastaisia, tai joissa markkinoidaan muiden toimijoiden sivustoja tai tuotteita.
Jättämällä arvostelun annat Suomalaiselle Kirjakaupalle oikeuden käyttää kyseisiä arvosteluja omassa markkinoinnissaan (sekä painettu että digitaalinen) ilman erillistä korvausta. Arvosteluja käytetään myös analysointiin ja markkinoinnin kehittämiseen.
Tuotearvostelun jättäneiden kesken arvotaan säännöllisin väliajoin tuotepalkintoja. Tutustu arvonnan sääntöihin täällä.
Mikäli haluat poistaa jättämäsi tuotearvostelun verkkokaupastamme, pyyntö tästä tulee ohjata asiakaspalveluumme: asiakaspalvelu@suomalainen.com.
Tuotearvostelut eivät ole tarkoitettu asiakasreklamaatioiden tai tilauskyselyjen tekemiseen. Reklamaatiotapauksissa pyydämme ottamaan yhteyttä asiakaspalveluumme: asiakaspalvelu@suomalainen.com.
Jättämällä arvostelun suomalainen.com -verkkokauppaan hyväksyt yllämainitut käytännöt ja ehdot.
Lue lisää tuotearvosteluista.
