diff --git a/epub/OEBPS/!lisp.opf b/epub/OEBPS/!lisp.opf index 5f9a473..4547e54 100644 --- a/epub/OEBPS/!lisp.opf +++ b/epub/OEBPS/!lisp.opf @@ -64,6 +64,7 @@ + diff --git a/epub/OEBPS/ch01_basics.xhtml b/epub/OEBPS/ch01_basics.xhtml index af3aa40..b6a8dc0 100644 --- a/epub/OEBPS/ch01_basics.xhtml +++ b/epub/OEBPS/ch01_basics.xhtml @@ -10,7 +10,7 @@ -

Глава 1.Основы интерпретации

+

Глава 1.Основы интерпретации

Вэтой главе описывается базовый интерпретатор, идеи которого проходят красной нитью через большую часть этой книги. Он намеренно diff --git a/epub/OEBPS/ch02_lisp_1_2_omega.xhtml b/epub/OEBPS/ch02_lisp_1_2_omega.xhtml index 3a227ee..f53459a 100644 --- a/epub/OEBPS/ch02_lisp_1_2_omega.xhtml +++ b/epub/OEBPS/ch02_lisp_1_2_omega.xhtml @@ -10,7 +10,7 @@ -

Глава 2.Lisp, 1, 2, …, ω

+

Глава 2.Lisp, 1, 2, …, ω

Функции занимают центральное место в Лиспе, поэтому очевидно, что эффективность их вызовов очень важна. diff --git a/epub/OEBPS/ch03_escape_and_return.xhtml b/epub/OEBPS/ch03_escape_and_return.xhtml index bc20eee..c2bc4a6 100644 --- a/epub/OEBPS/ch03_escape_and_return.xhtml +++ b/epub/OEBPS/ch03_escape_and_return.xhtml @@ -10,7 +10,7 @@ -

Глава 3.Переходы и возвраты: продолжения

+

Глава 3.Переходы и возвраты: продолжения

Каждое вычисление в конечном счёте приводит к возврату результата сущности, которая называется продолжением. diff --git a/epub/OEBPS/ch04_assignment_and_side_effects.xhtml b/epub/OEBPS/ch04_assignment_and_side_effects.xhtml index 9e58dbf..58a45ce 100644 --- a/epub/OEBPS/ch04_assignment_and_side_effects.xhtml +++ b/epub/OEBPS/ch04_assignment_and_side_effects.xhtml @@ -10,7 +10,7 @@ -

Глава 4.Присваивание и побочные эффекты

+

Глава 4.Присваивание и побочные эффекты

Предыдущие главы с их нескончаемыми повторениями и вариациями чем-то напоминают «Болеро» Мориса Равеля. Но один diff --git a/epub/OEBPS/ch05_denotational_semantics.xhtml b/epub/OEBPS/ch05_denotational_semantics.xhtml index 5158e04..f6f4a83 100644 --- a/epub/OEBPS/ch05_denotational_semantics.xhtml +++ b/epub/OEBPS/ch05_denotational_semantics.xhtml @@ -10,7 +10,7 @@ -

Глава 5.Денотационная семантика

+

Глава 5.Денотационная семантика

Эта глава начинается кратким обзором λ-исчисления, после чего переходит к денотационной семантике во всей её @@ -1324,9 +1324,9 @@ href="zz_footnotes.xhtml#foot5.4">4:

Теперь необходимо переопределить аппликацию функций так, чтобы получать все возможные результаты. Если порядок случаен, то это фактически значит, что аппликация выполняется так: сначала выбирается случайный терм, обозначим -его π0′, он вычисляется в ε0′, потом из оставшихся выбирается следующий -терм π0′, который вычисляется в ε0′, и так далее. Затем значения -ε0′,ε1′,…,εn′ +его π0′, он вычисляется в ε0′, потом из оставшихся выбирается следующий +терм π0′, который вычисляется в ε0′, и так далее. Затем значения +ε0′,ε1′,…,εn′ переупорядочиваются так, как они шли в исходной форме: ε0,ε1,…,εn, и, наконец, первое значение-функция применяется к последовательности из всех остальных. При таком подходе порядок diff --git a/epub/OEBPS/ch06_fast_interpretation.xhtml b/epub/OEBPS/ch06_fast_interpretation.xhtml index 2ea7f64..07e82cc 100644 --- a/epub/OEBPS/ch06_fast_interpretation.xhtml +++ b/epub/OEBPS/ch06_fast_interpretation.xhtml @@ -10,7 +10,7 @@ -

Глава 6.Быстрая интерпретация

+

Глава 6.Быстрая интерпретация

Денотационный интерпретатор из предыдущей @@ -1757,7 +1757,7 @@ Scheme. Несмотря на то, что объекты и замыкания

  • Явное представление функций с помощью объектов.
  • Результатом предварительной обработки станут комбинаторы - (чьи имена записываются ), + (чьи имена записываются прописными буквами), напоминающие инструкции гипотетической виртуальной машины.
    • diff --git a/epub/OEBPS/ch07_compilation.xhtml b/epub/OEBPS/ch07_compilation.xhtml index eb3b229..506d071 100644 --- a/epub/OEBPS/ch07_compilation.xhtml +++ b/epub/OEBPS/ch07_compilation.xhtml @@ -10,7 +10,7 @@ -

    Глава 7.Компиляция

    +

    Глава 7.Компиляция

    Впредыдущей главе был изложен метод перевода diff --git a/epub/OEBPS/ch08_evaluation_and_reflection.xhtml b/epub/OEBPS/ch08_evaluation_and_reflection.xhtml index 308a600..7759f9b 100644 --- a/epub/OEBPS/ch08_evaluation_and_reflection.xhtml +++ b/epub/OEBPS/ch08_evaluation_and_reflection.xhtml @@ -10,7 +10,7 @@ -

    Глава 8.Вычисления и рефлексия

    +

    Глава 8.Вычисления и рефлексия

    diff --git a/epub/OEBPS/ch09_macros.xhtml b/epub/OEBPS/ch09_macros.xhtml index dad37bc..9a443ff 100644 --- a/epub/OEBPS/ch09_macros.xhtml +++ b/epub/OEBPS/ch09_macros.xhtml @@ -10,7 +10,7 @@ -

    Глава 9.Макросы: употребление и злоупотребление

    +

    Глава 9.Макросы: употребление и злоупотребление

    Презираемые, неверно используемые, diff --git a/epub/OEBPS/ch10_compiling_into_c.xhtml b/epub/OEBPS/ch10_compiling_into_c.xhtml index f21639c..db6fc51 100644 --- a/epub/OEBPS/ch10_compiling_into_c.xhtml +++ b/epub/OEBPS/ch10_compiling_into_c.xhtml @@ -10,7 +10,7 @@ -

    Глава 10.Компиляция в Си

    +

    Глава 10.Компиляция в Си

    Иещё одна глава о компиляции. diff --git a/epub/OEBPS/ch11_essence_of_an_object_system.xhtml b/epub/OEBPS/ch11_essence_of_an_object_system.xhtml index 368b8de..8326105 100644 --- a/epub/OEBPS/ch11_essence_of_an_object_system.xhtml +++ b/epub/OEBPS/ch11_essence_of_an_object_system.xhtml @@ -10,7 +10,7 @@ -

    Глава 11.Квинтэссенция объектной системы

    +

    Глава 11.Квинтэссенция объектной системы

    Объекты! Ах, что бы мы без них делали? В этой diff --git a/epub/OEBPS/fonts/FreeSerif-mathcal.ttf b/epub/OEBPS/fonts/FreeSerif-mathcal.ttf new file mode 100644 index 0000000..6034f73 Binary files /dev/null and b/epub/OEBPS/fonts/FreeSerif-mathcal.ttf differ diff --git a/epub/OEBPS/zz_lisp.css b/epub/OEBPS/zz_lisp.css index 34ef537..56ccbd0 100644 --- a/epub/OEBPS/zz_lisp.css +++ b/epub/OEBPS/zz_lisp.css @@ -38,6 +38,13 @@ src: url('fonts/stix-regular.ttf') format('truetype'); } +@font-face { + font-family: FreeSerif; + font-style: normal; + font-weight: normal; + src: url('fonts/FreeSerif-mathcal.ttf') format('truetype'); +} + @font-face { font-family: 'DejaVu Serif'; font-style: normal; @@ -130,7 +137,6 @@ h1 { h1 .seq { display: block; - font-variant: small-caps; font-weight: normal; margin-bottom: 1.0715em; } @@ -251,10 +257,6 @@ p.noindent { text-indent: 0; } -span.logo { - font-variant: small-caps; -} - span.fbox { border: 1px solid black; padding: 0.2222em; @@ -469,7 +471,7 @@ table.numbered-source pre { .math .cal { color: black; - font-family: 'DejaVu Serif'; + font-family: FreeSerif, STIX, serif; } .math .num { @@ -545,10 +547,17 @@ span.quad-stub { .math sub + sup { display: inline-block; - left: -0.8ex; + left: -1ex; + text-indent: 0; width: 0; } +.math sup.prime { + font-size: 100%; + top: 0; + left: -0.8ex; +} + .math .syntax { font-weight: bold; } diff --git a/epub/fontconfig/10pt.css b/epub/fontconfig/10pt.css index ae56656..aec4551 100644 --- a/epub/fontconfig/10pt.css +++ b/epub/fontconfig/10pt.css @@ -24,7 +24,8 @@ table + .caption code, table#ch5-dynamic-denotation-transform, table.disasm code, code .comment code, -pre .comment code +pre .comment code, +.math code { font-size: 9pt; } blockquote.equation span.eqno, .math .Vset, diff --git a/epub/fontconfig/8pt.css b/epub/fontconfig/8pt.css index 53281db..881b5a2 100644 --- a/epub/fontconfig/8pt.css +++ b/epub/fontconfig/8pt.css @@ -24,7 +24,8 @@ table + .caption code, table#ch5-dynamic-denotation-transform, table.disasm code, code .comment code, -pre .comment code +pre .comment code, +.math code { font-size: 7.2pt; } blockquote.equation span.eqno, .math .Vset, diff --git a/epub/fontconfig/9pt.css b/epub/fontconfig/9pt.css index a4b3c42..85adb8e 100644 --- a/epub/fontconfig/9pt.css +++ b/epub/fontconfig/9pt.css @@ -24,7 +24,8 @@ table + .caption code, table#ch5-dynamic-denotation-transform, table.disasm code, code .comment code, -pre .comment code +pre .comment code, +.math code { font-size: 8.1pt; } blockquote.equation span.eqno, .math .Vset,