{"product_id":"language-stack-from-silicon-to-semantics-the-1","title":"Language Stack : From Silicon to Semantics, The","description":"It is 2026, and a language model can generate a lexer, a type\u003cbr\u003e checker, and a working compiler in seconds. So why learn to build\u003cbr\u003e them by hand? Because a generated artifact is an assertion -\u003cbr\u003e and an assertion you cannot evaluate is not knowledge, it is a hope\u003cbr\u003e with good syntax. The value was never in the typing.\u003cbr\u003e \u003cbr\u003e This book carries one language - Lark, the Lambda Affine Resource\u003cbr\u003e Kernel - from a real instruction set to a machine-checked proof\u003cbr\u003e that its meaning is sound, treating the hardware, the theory, and\u003cbr\u003e the proof as a single argument. You begin at the silicon and build\u003cbr\u003e upward through lexer, parser, type system, interpreter, and\u003cbr\u003e optimizer, to a code generator that runs Lark as native code on an\u003cbr\u003e affordable Raspberry Pi Pico 2\/2W.\u003cbr\u003e \u003cbr\u003e Theory is earned, not assumed: Hindley-Milner inference, affine\u003cbr\u003e ownership, and traits, each introduced when the implementation needs\u003cbr\u003e it. And the book teaches the discipline that code-generating tools\u003cbr\u003e demand - an interpreter that defines what a program means,\u003cbr\u003e a differential-testing harness that says which back end is wrong, a\u003cbr\u003e type-safety theorem that bounds what any transformation may do. And\u003cbr\u003e then it turns that machinery on itself: the finished compiler is\u003cbr\u003e fuzzed, the tests are checked with planted bugs, and even the proof\u003cbr\u003e kernel is attacked until it gives up its own flaws - because a\u003cbr\u003e guarantee is worth exactly as much as the adversary it has survived.\u003cbr\u003e \u003cbr\u003e For the technically literate programmer who has always meant to\u003cbr\u003e understand what is under their language and never found the entry\u003cbr\u003e point. It assumes familiarity with Python or C and basic data\u003cbr\u003e structures - but not a line of compiler theory.","brand":"BoD","offers":[{"title":"Default Title","offer_id":58194349785423,"sku":"9789181344387","price":18.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0061\/0372\/8217\/files\/9789181344387_1-language-stack-from-silicon-to-semantics-the.jpg?v=1783746172","url":"https:\/\/www.suomalainen.com\/products\/language-stack-from-silicon-to-semantics-the-1","provider":"Suomalainen.com","version":"1.0","type":"link"}