Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования! В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе. Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму. Издание предназначено для программистов любой квалификации, знакомых хотя бы с одним из современных языков, но не имеющих формальной подготовки в информатике.
Nakonets-to pojavilsja uvlekatelnyj i praktichnyj sposob izuchat teoriju vychislenij i proektirovanie jazykov programmirovanija! V etoj knige teoreticheskaja informatika izlagaetsja v khorosho znakomom vam kontekste, chto pomozhet otsenit, pochemu ee idei vazhny i kak oni otrazhajutsja na tom, chem programmist izo dnja v den zanimaetsja na rabote. Vmesto matematicheskoj notatsii ili neznakomogo akademichnogo jazyka programmirovanija tipa Haskell ili Lisp v etoj knige dlja objasnenija formalnoj semantiki, teorii avtomatov i funktsionalnogo programmirovanija vkupe s ljambda-ischisleniem primenjaetsja jazyk Ruby, svedennyj k minimumu. Izdanie prednaznacheno dlja programmistov ljuboj kvalifikatsii, znakomykh khotja by s odnim iz sovremennykh jazykov, no ne imejuschikh formalnoj podgotovki v informatike.
