From 18778a5508d89b054c686ba2b392ec24f7a2e073 Mon Sep 17 00:00:00 2001 From: Michael Filonenko Date: Thu, 12 Apr 2012 21:02:57 +0300 Subject: [PATCH] merge some changes from loge-gh --- clm.html | 2 +- clm0x.png | Bin 1026 -> 1026 bytes clm1x.png | Bin 1073 -> 1073 bytes clm2x.png | Bin 966 -> 966 bytes clm3x.png | Bin 1316 -> 1355 bytes clm4x.png | Bin 1344 -> 1344 bytes clmap1.html | 2 +- clmap2.html | 2 +- clmap3.html | 2 +- clmch1.html | 2 +- clmch10.html | 2 +- clmch11.html | 2 +- clmch12.html | 2 +- clmch13.html | 2 +- clmch14.html | 2 +- clmch15.html | 2 +- clmch16.html | 2 +- clmch17.html | 2 +- clmch18.html | 2 +- clmch19.html | 2 +- clmch2.html | 2 +- clmch20.html | 2 +- clmch21.html | 2 +- clmch22.html | 2 +- clmch23.html | 2 +- clmch24.html | 2 +- clmch25.html | 2 +- clmch26.html | 2 +- clmch27.html | 2 +- clmch28.html | 2 +- clmch3.html | 2 +- clmch4.html | 2 +- clmch5.html | 2 +- clmch6.html | 2 +- clmch7.html | 2 +- clmch8.html | 2 +- clmch9.html | 2 +- clmli1.html | 2 +- clmli2.html | 2 +- clmli3.html | 2 +- clmli4.html | 2 +- clmli5.html | 2 +- clmli6.html | 2 +- clmli7.html | 2 +- clmli8.html | 2 +- clmse1.html | 85 +++++++++++++------------- clmse10.html | 2 +- clmse100.html | 2 +- clmse101.html | 2 +- clmse102.html | 2 +- clmse103.html | 2 +- clmse104.html | 2 +- clmse105.html | 2 +- clmse106.html | 2 +- clmse107.html | 2 +- clmse108.html | 2 +- clmse109.html | 2 +- clmse11.html | 2 +- clmse110.html | 2 +- clmse111.html | 2 +- clmse112.html | 2 +- clmse113.html | 2 +- clmse114.html | 2 +- clmse115.html | 2 +- clmse116.html | 2 +- clmse117.html | 2 +- clmse118.html | 2 +- clmse119.html | 2 +- clmse12.html | 2 +- clmse120.html | 2 +- clmse121.html | 2 +- clmse122.html | 2 +- clmse123.html | 2 +- clmse124.html | 2 +- clmse125.html | 2 +- clmse126.html | 2 +- clmse127.html | 2 +- clmse128.html | 2 +- clmse129.html | 2 +- clmse13.html | 2 +- clmse130.html | 2 +- clmse131.html | 2 +- clmse132.html | 2 +- clmse133.html | 2 +- clmse134.html | 2 +- clmse135.html | 2 +- clmse136.html | 2 +- clmse137.html | 2 +- clmse138.html | 2 +- clmse139.html | 2 +- clmse14.html | 2 +- clmse140.html | 2 +- clmse141.html | 2 +- clmse142.html | 2 +- clmse143.html | 2 +- clmse144.html | 2 +- clmse145.html | 2 +- clmse146.html | 2 +- clmse147.html | 2 +- clmse148.html | 2 +- clmse149.html | 2 +- clmse15.html | Bin 3936 -> 3936 bytes clmse150.html | 2 +- clmse151.html | 2 +- clmse152.html | 2 +- clmse153.html | 2 +- clmse16.html | 2 +- clmse17.html | 2 +- clmse18.html | 2 +- clmse19.html | 2 +- clmse2.html | 132 ++++++++++++++++++++-------------------- clmse20.html | Bin 8255 -> 8255 bytes clmse21.html | 2 +- clmse22.html | 2 +- clmse23.html | 2 +- clmse24.html | Bin 12704 -> 12704 bytes clmse25.html | Bin 8122 -> 8122 bytes clmse26.html | 2 +- clmse27.html | 2 +- clmse28.html | 2 +- clmse29.html | 2 +- clmse3.html | 2 +- clmse30.html | 2 +- clmse31.html | 2 +- clmse32.html | 2 +- clmse33.html | 2 +- clmse34.html | 2 +- clmse35.html | 2 +- clmse36.html | 2 +- clmse37.html | 2 +- clmse38.html | 2 +- clmse39.html | 2 +- clmse4.html | 2 +- clmse40.html | 2 +- clmse41.html | 2 +- clmse42.html | 2 +- clmse43.html | 2 +- clmse44.html | 2 +- clmse45.html | 2 +- clmse46.html | 2 +- clmse47.html | 2 +- clmse48.html | 2 +- clmse49.html | 2 +- clmse5.html | 2 +- clmse50.html | 2 +- clmse51.html | 2 +- clmse52.html | 2 +- clmse53.html | 2 +- clmse54.html | 2 +- clmse55.html | 2 +- clmse56.html | 2 +- clmse57.html | 2 +- clmse58.html | 2 +- clmse59.html | 2 +- clmse6.html | 2 +- clmse60.html | 2 +- clmse61.html | 2 +- clmse62.html | 2 +- clmse63.html | 2 +- clmse64.html | 36 +++++------ clmse65.html | 162 +++++++++++++++++++++++++------------------------- clmse66.html | 140 +++++++++++++++++++++---------------------- clmse67.html | 82 ++++++++++++------------- clmse68.html | 28 ++++----- clmse69.html | 52 ++++++++-------- clmse7.html | 2 +- clmse70.html | 2 +- clmse71.html | 4 +- clmse72.html | 2 +- clmse73.html | 2 +- clmse74.html | 2 +- clmse75.html | 2 +- clmse76.html | 2 +- clmse77.html | 2 +- clmse78.html | 2 +- clmse79.html | 2 +- clmse8.html | 2 +- clmse80.html | 2 +- clmse81.html | 2 +- clmse82.html | 2 +- clmse83.html | 2 +- clmse84.html | 2 +- clmse85.html | 2 +- clmse86.html | 2 +- clmse87.html | 2 +- clmse88.html | 2 +- clmse89.html | 2 +- clmse9.html | 2 +- clmse90.html | 2 +- clmse91.html | 2 +- clmse92.html | 2 +- clmse93.html | 2 +- clmse94.html | 2 +- clmse95.html | 2 +- clmse96.html | 2 +- clmse97.html | 2 +- clmse98.html | 2 +- clmse99.html | 2 +- cltl2ed.css | 5 ++ index.html | 2 +- intro.tex | 49 +++++++-------- number.tex | 13 ++-- 202 files changed, 579 insertions(+), 571 deletions(-) diff --git a/clm.html b/clm.html index 02c2657..4c4510d 100644 --- a/clm.html +++ b/clm.html @@ -8,7 +8,7 @@ - + diff --git a/clm0x.png b/clm0x.png index 2908fb521ba360550c12bed1b36b2eac2b29028f..59cfc64263a892c8577d7d285dce663372e634de 100644 GIT binary patch delta 53 wcmZqTXyVuq%q(PNU}b7%Wn`&sU~FYz@HC?#b#f}RJeu$nQ;VCEr!nUM0Ct=Xr2qf` delta 53 vcmZqTXyVuq%q(PRW@Tz&WnigoU~FYzkjmh@c5*7SJesgb>{r3b)0lGrTkZ{c diff --git a/clm1x.png b/clm1x.png index cc871ca3269b5ae42a50e9e147aad3427078536c..554835bf2aab617dfeebe2e1c2da3f67964daabe 100644 GIT binary patch delta 53 wcmdnUv5{j#1hbHlft9J5m9c@gfw7f=!Jeq28k4h_<8vNnHy-E7+45@ L+wy#JJF`6iO(qg_ diff --git a/clm3x.png b/clm3x.png index 843fd36e61bce2486b260051c9ba4979fa0c1292..d970ad8df535d8ac9852a8990bcfdde45f54db88 100644 GIT binary patch delta 1100 zcmV-S1hf033d;(RkbmS!L_t(&-tC*~b*nlMg}-6l255m6)B-Kg0;dG01Y80s!7d?` z5K0IoTuPYxgNKEA7#U%5a@A&o{ON0grg`C0DFK;?EHSk4n|Uy3#Q#iul(tuVVP-CCq0|00Bry zqE~NJ8I^DOKq;q(%n9YrI%ZTzh?N(N_{cWdb2?`2tyW>Tt!Liq zKPeX_01Pf8CLx*~HK`vugVf266&NK>^N_~;uQinZt zj8zzm?X}Ecg7GvK11gk~fjZ<<5>orHGY75bKcHAqWM3WkDvo0YszEXP)~s(p0eW^~ zFn8(mvv%fDbp<4lZ1BboU3=@WQ~-&!hkh+HR8}$j2Cdt@p;a4|yq~ENv2^3C)P?%# zl%3}+S$~4tgh3Kca<#&hneU=We-frP<;ALw?p3tRvvbQ=PtGv6h|!4zH=9ja7rs%Bp#;i&fLMaK#i$*4DryAdZJ^;U;vC+$7ez^uW&JHDL7jIp*#; zZ+}Zl@fID9Yoeus%e_?>=FR>md?-x^>kqP~O~5Pw6Z6?CJ#iq|-xQMb-W3q6eOALGdDND*%~>M6+Jd}|1&S4FFNJt*To*HjrcGwRI5yTJ;WN0f|3~ zz&z56^A4!F#D4(_1(|a1gC$<*eSKaIF*yz;@!HHS$>fjmSde%(55Fy(1xPt65nx%f zVjS`8s!3N!nw6uqzKmVEHdIS{P%Pg0w~EIs?&TrzMO#n{R3tnwflElXbH-Pw7V9j- zV<0S#)YBGFvsM@}k;LQZ4I~$p0wj}ojRq2}Hjy)hl7FQ_U#x!M5SEAaw1u{Sjjp$` zSWuyo9CSrIC5C1TIn&T)egb9SL&Ea#bqBXVJt$^hn)L-JK@Y1m*ircWsGK>}efbC^ zAM^|zS3n+s^K$60nxXcJ*%xTj<%V8uREqOXjY*_mXO%A0Pq&ie(e1(oab$AxoRwWN z&?FDXRDV)l-eu@Bk52dO-ugTX_(;%+05_ivese##9rPquf$l?cx_%w^^L`GpEpHde z#G@2q6_1<2{wxng!TBjzC<~mw-$){^O4t(jYvy+SV}NRSo<1yR4xMzZwc^Ajq#hR{ z0`cgUzpp!_W&jJ3R^WS9G33+|gB0u13vJj$&VMvy=sZg7nYA58e&KkC83rdoEzqKh zfO-(!Wc=pDn<&ld8;X;cYCbGSV#%cdGRZx8*1v1ein`5;#7tBkL-BA|CJknRws@fp z3deyTH(lYztoPhF?__#H&g9=0*wJ^<6_k=^c&t7XJsup#QiEE+@v5{YC{~EEOQu*= z34dH+QVho{Q+>3GODCrgR6iKu*?9plMC9$pDizh4B?~^Wo}KFerA~h+%k; z;&!#bJFyahHk4akL25bt&D1uKgnE2MqYWjFnV(Sv;W2rO8p;A#NPp@PrQBm!jOVLeE~r({~IBec)K4r{l{lP5@J2yfcynf{{XFd7VFoO zeFPs8F*Z6iI65&fD=;%UFfcqa2;h^h1RoMHHaaypIx#RSFf%$ZFimf;T$A4f9uF~i UGB7JOI4d(ZH){85ERzfcKff9EasU7T diff --git a/clm4x.png b/clm4x.png index 339b32e6584c852186e2af0a357d677d4d700f7c..3e3f7c62580c2ec3c252a44435f4107c593427c1 100644 GIT binary patch delta 68 zcmX@Wb%1L_9*dBXft9J5m9e3=fw7f=ft2pKIg=Y$ - + diff --git a/clmap2.html b/clmap2.html index a7a28b2..6a13d09 100644 --- a/clmap2.html +++ b/clmap2.html @@ -7,7 +7,7 @@ - + diff --git a/clmap3.html b/clmap3.html index 6bcaf5e..3209ebd 100644 --- a/clmap3.html +++ b/clmap3.html @@ -7,7 +7,7 @@ - + diff --git a/clmch1.html b/clmch1.html index 544fe50..8e9b8e9 100644 --- a/clmch1.html +++ b/clmch1.html @@ -7,7 +7,7 @@ - + diff --git a/clmch10.html b/clmch10.html index 944d8c2..edb4c6a 100644 --- a/clmch10.html +++ b/clmch10.html @@ -7,7 +7,7 @@ - + diff --git a/clmch11.html b/clmch11.html index 82454fc..32a08e5 100644 --- a/clmch11.html +++ b/clmch11.html @@ -7,7 +7,7 @@ - + diff --git a/clmch12.html b/clmch12.html index 74a45be..6745c0c 100644 --- a/clmch12.html +++ b/clmch12.html @@ -7,7 +7,7 @@ - + diff --git a/clmch13.html b/clmch13.html index 5e66a52..7a7ed55 100644 --- a/clmch13.html +++ b/clmch13.html @@ -7,7 +7,7 @@ - + diff --git a/clmch14.html b/clmch14.html index b16d00f..59491b6 100644 --- a/clmch14.html +++ b/clmch14.html @@ -7,7 +7,7 @@ - + diff --git a/clmch15.html b/clmch15.html index 2d57052..41cdf7e 100644 --- a/clmch15.html +++ b/clmch15.html @@ -7,7 +7,7 @@ - + diff --git a/clmch16.html b/clmch16.html index 52d0d32..04ded16 100644 --- a/clmch16.html +++ b/clmch16.html @@ -7,7 +7,7 @@ - + diff --git a/clmch17.html b/clmch17.html index 3c52ddd..a9ea048 100644 --- a/clmch17.html +++ b/clmch17.html @@ -7,7 +7,7 @@ - + diff --git a/clmch18.html b/clmch18.html index c76d938..ec7e0a5 100644 --- a/clmch18.html +++ b/clmch18.html @@ -7,7 +7,7 @@ - + diff --git a/clmch19.html b/clmch19.html index 1257144..60d6aa6 100644 --- a/clmch19.html +++ b/clmch19.html @@ -7,7 +7,7 @@ - + diff --git a/clmch2.html b/clmch2.html index 8a0ad87..7258de0 100644 --- a/clmch2.html +++ b/clmch2.html @@ -7,7 +7,7 @@ - + diff --git a/clmch20.html b/clmch20.html index d78a778..841e656 100644 --- a/clmch20.html +++ b/clmch20.html @@ -7,7 +7,7 @@ - + diff --git a/clmch21.html b/clmch21.html index 6409cac..4ff3081 100644 --- a/clmch21.html +++ b/clmch21.html @@ -7,7 +7,7 @@ - + diff --git a/clmch22.html b/clmch22.html index 84fd5f1..c00d302 100644 --- a/clmch22.html +++ b/clmch22.html @@ -7,7 +7,7 @@ - + diff --git a/clmch23.html b/clmch23.html index ff13bfd..95d261d 100644 --- a/clmch23.html +++ b/clmch23.html @@ -7,7 +7,7 @@ - + diff --git a/clmch24.html b/clmch24.html index bc7b030..99cd66f 100644 --- a/clmch24.html +++ b/clmch24.html @@ -7,7 +7,7 @@ - + diff --git a/clmch25.html b/clmch25.html index 4515216..199052f 100644 --- a/clmch25.html +++ b/clmch25.html @@ -7,7 +7,7 @@ - + diff --git a/clmch26.html b/clmch26.html index 049b7a7..d6aac7d 100644 --- a/clmch26.html +++ b/clmch26.html @@ -7,7 +7,7 @@ - + diff --git a/clmch27.html b/clmch27.html index 3aa7eb7..f725070 100644 --- a/clmch27.html +++ b/clmch27.html @@ -7,7 +7,7 @@ - + diff --git a/clmch28.html b/clmch28.html index 59b0527..550fc5e 100644 --- a/clmch28.html +++ b/clmch28.html @@ -7,7 +7,7 @@ - + diff --git a/clmch3.html b/clmch3.html index 780a75e..887a07d 100644 --- a/clmch3.html +++ b/clmch3.html @@ -7,7 +7,7 @@ - + diff --git a/clmch4.html b/clmch4.html index 952b74e..9d93b98 100644 --- a/clmch4.html +++ b/clmch4.html @@ -7,7 +7,7 @@ - + diff --git a/clmch5.html b/clmch5.html index 1e99238..5c72471 100644 --- a/clmch5.html +++ b/clmch5.html @@ -7,7 +7,7 @@ - + diff --git a/clmch6.html b/clmch6.html index 5a116dd..8915222 100644 --- a/clmch6.html +++ b/clmch6.html @@ -7,7 +7,7 @@ - + diff --git a/clmch7.html b/clmch7.html index 6ccfb5e..29431af 100644 --- a/clmch7.html +++ b/clmch7.html @@ -7,7 +7,7 @@ - + diff --git a/clmch8.html b/clmch8.html index af9bf79..181d931 100644 --- a/clmch8.html +++ b/clmch8.html @@ -7,7 +7,7 @@ - + diff --git a/clmch9.html b/clmch9.html index c8ed2c2..773ad50 100644 --- a/clmch9.html +++ b/clmch9.html @@ -7,7 +7,7 @@ - + diff --git a/clmli1.html b/clmli1.html index d5a1e56..31ff9ec 100644 --- a/clmli1.html +++ b/clmli1.html @@ -7,7 +7,7 @@ - + diff --git a/clmli2.html b/clmli2.html index b27c36b..ebda74e 100644 --- a/clmli2.html +++ b/clmli2.html @@ -7,7 +7,7 @@ - + diff --git a/clmli3.html b/clmli3.html index 182903a..ee40b8e 100644 --- a/clmli3.html +++ b/clmli3.html @@ -7,7 +7,7 @@ - + diff --git a/clmli4.html b/clmli4.html index 9cff0d5..a3721db 100644 --- a/clmli4.html +++ b/clmli4.html @@ -7,7 +7,7 @@ - + diff --git a/clmli5.html b/clmli5.html index 207a7ec..885bcda 100644 --- a/clmli5.html +++ b/clmli5.html @@ -7,7 +7,7 @@ - + diff --git a/clmli6.html b/clmli6.html index 4b1d9d3..7fe5ad1 100644 --- a/clmli6.html +++ b/clmli6.html @@ -7,7 +7,7 @@ - + diff --git a/clmli7.html b/clmli7.html index 9ebe5a7..02565c6 100644 --- a/clmli7.html +++ b/clmli7.html @@ -7,7 +7,7 @@ - + diff --git a/clmli8.html b/clmli8.html index dceafb4..7a6f0d4 100644 --- a/clmli8.html +++ b/clmli8.html @@ -7,7 +7,7 @@ - + diff --git a/clmse1.html b/clmse1.html index cf57cf9..2d6dc0a 100644 --- a/clmse1.html +++ b/clmse1.html @@ -7,7 +7,7 @@ - + @@ -27,56 +27,59 @@ потомка MacLisp для различных компьютеров. Это реализации начинали отличаться из-за различий в платформах: персональные компьютеры (Zetalisp, Spice Lisp), коммерческие компьютеры - с разделяемым временем (NIL— «Новая реализация Lisp’а») + с разделением времени (NIL— «Новая реализация Lisp’а») и суперкомпьютеры (S-1 Lisp). Тогда как различия между платформам приводят к несовместимостям между реализациями, Common Lisp предоставляет общий диалект, который каждая реализация будет расширять для своих потребностей.
  • -Переносимость
    • Common Lisp умышленно исключает функциональ, - который на широком классе машин не может быть реализован +Переносимость Переносимость Common Lisp умышленно исключает + функционал, который не может быть легко реализован на - простым способом. С одной стороны, сложный или дорогой в - реализации на аппаратной части без специальных микрокодов + широком спектре машин. С одной стороны, сложный или + дорогой в аппаратной реализации без специальных микрокодов функционал исключается или представляется в более абстрактной - и реализуемой форме. С другой стороны, функционал полезный - только - на «обычных» или «коммерческих» процессорах исключается или - делается опциональными. (Примером тому является функция - декларации типа, которая полезна на некоторых реализациях и - полностью игнорируется на других. Декларации типов полностью - опциональны и в правильных программах применяются для - эффективности, а не для семантики.) Common Lisp спроектирован + и эффективно реализуемой форме. (Примером тому являются + невидимые ссылочные указатели и локативы ZetaLisp’а. Некоторые + из решаемых ими проблем в CommonLisp разрешаются другими + путями.) + С другой стороны, функционал полезный только на некоторых + «обычных» или «коммерческих» процессорах исключается или + делается опциональными. (Примером тому является система + декларации типа, которая на некоторых реализациях полезна, а + на других полностью игнорируется. Декларации типов полностью + опциональны и в правильных программах влияют только на + эффективность, а не на семантику.) Common Lisp спроектирован для упрощения построения программ, которые как можно меньше - зависят - от машинно-специфичных характеристик таких, как, например, - длина слова, но при этом допускают различие этих харакетирстик - в реализациях. + зависят от машинно-специфичных характеристик, таких, как, + например, длина слова, но при этом допускает некоторые различия + реализаций.
  • -Согласованность
    • Многие реализации Lisp’а не были согласованы в том, - что интерпретатор и компилятор могут реализовывать различные - семантики для корректных программ. Эти семантические различия - преимущественно вытекают из факта, того - что интерпретатор делает все переменные динамическими, тогда - как компилятор делает все переменные лексическими, если не - указано иное. Такое различие было обычной практикой в Lisp’е для - достижения удобства и эффективности, но могло быть причиной - скрытых ошибок. Определение Common Lisp’а исключает такие - аномалии явным требованием к интерпретатору и компилятору - реализовывать идентичные семантики для корректных программ - настолько, насколько это возможно. +Согласованность Многие реализации Lisp’а внутренне не согласованы + в том, что семантика одной и той же корректной программы + может различаться для интерпретатора и компилятора. Эти + семантические различия преимущественно вытекают из факта, + что интерпретатор считает все переменные динамическими, тогда + как компилятор считает все переменные лексическими, если иное + не указано явно. Такое различие было обычной практикой в + Lisp’е для достижения удобства и эффективности, но могло + быть причиной скрытых, очень "тонких" ошибок. Определение + Common Lisp’а исключает такие аномалии явным требованием + к интерпретатору и компилятору реализовывать идентичные + семантики для корректных программ настолько, насколько это + возможно.
  • Выразительность
    • Common Lisp собрал опыт, который показывает наиболее удобные и понятные конструкции не только из MacLisp’а, а также из других диалектов, и языков программирования. - Конструкции, оценённые как неуклюжие или бесполезные были - исключены. -
  • + Конструкции, оценённые как неуклюжие или бесполезные были + исключены. +
  • Совместимость
    • Common Lisp старается быть совместимым с Lisp Machine Lisp’ом, MacLisp’ом и Interlisp’ом, примерно в таком порядке. @@ -107,18 +110,18 @@ язык, но такие расширения будут добавляться в Common Lisp с осторожностью. -

    В целях Common Lisp’а быть близким к Standard Lisp’у [

    В целях Common Lisp’а быть близким к Standard Lisp’у [31] и Portable Standard Lisp’у [51]. Common Lisp отличается от Standard Lisp’а преимущественно тем, что содержит больше возможностей, включая более -богатую и более сложную систему типов и более сложные управляющие -конструкции. -

    Эта книга прежде всего предназначена быть спецификацией языка, а не -описанием реализации (однако, примечания для реализаций встречаются в +богатую и более сложную систему типов и более сложные управляющие +конструкции. +

    Эта книга прежде всего предназначена быть спецификацией языка, а не +описанием реализации (однако, примечания для реализаций встречаются в тексте). Книга определяет множества стандартных языковых концепций и конструкций, которые могут использоваться для связи данных и алгоритмов в диалекте Common Lisp. Это множество концепций и конструкций иногда @@ -133,14 +136,14 @@ fixnum. Тем не менее, важно для концептуальной целостности языка то, что они используются пользователями как примитивы, и они достаточны для основания стандарта.) FIXME -

    По большей части, данная книга описывает язык программирования, но +

    По большей части, данная книга описывает язык программирования, но не средства программирования. Для обращения к таким стандартным программным средствам, как компилятор, редактор, функции трассировки, и отладчик, определены несколько интерфейсов, но об их функционировании сказано очень мало. Предполгается, что на основе Common Lisp’а будут построены одна или более обширных сред программирования, и они будут отдельно содержать документацию. -

    Теперь есть много реализаций Common Lisp’а, некоторые были +

    Теперь есть много реализаций Common Lisp’а, некоторые были запрограммированы исследовательскими группами в университетах, а некоторые — компаниями, которые продают их в коммерческих целях, и, вокруг этих реализаций фактически вырос ряд полезных сред для @@ -151,7 +154,7 @@ -

    -

    Вычисляет выражения, как тело prog с переменной var связанной со @@ -357,12 +357,12 @@

    1.2.4 (sample-macro x (return (+ x x))) ⇒ 86 -

    (sample-macro var . body) → (prog ((var 43)) . body)
    -

    +

    @@ -373,7 +373,7 @@

    1.2.4

    1.2.5 Описания функций и других объектов

    -

    Функции, переменные, именованные константы, специальные формы и +

    Функции, переменные, именованные константы, специальные формы и макросы описываются с помощью особого типографского формата. Таблица 1.1 показывает способ, которым документируются Common Lisp @@ -383,10 +383,10 @@

    1.2.5

    Иногда две и более связанных функций описываются в одном +

    Иногда две и более связанных функций описываются в одном комбинированном параграфе. В такой ситуации заголовки для всех функций отображаются совместно с последующим описанием. -

    Текущий код (включая текущие имена функций) предоставляется в +

    Текущий код (включая текущие имена функций) предоставляется в данном шрифте: (cons a b). Имена, встречающиеся в частях кода (метапеременные) пишутся наклонным шрифтом. В описании функции имена параметров предоставляются в наклонном шрифте. Слово &optional в @@ -397,13 +397,13 @@

    1.2.5 &key, указывающий на то, что могут аргументы могут приниматься по имени. (&optional/&rest/&key синтаксис фактически используется в определениях Common Lisp функций для этих целей). -

    Таблица 

    Таблица 1.2 показывает способ, с помощью которого документируются глобальные переменные. Первая строка определяет имя переменной и тот факт, что это переменная. Все глобальные переменные Common Lisp’а имеют имена, начинающиеся и заканчивающиеся звёздочкой (asterisk). -

    Таблица 

    Таблица 1.3 отображает способ, с помощью которого документируются константы. Первая строка определяет имя константы и тот факт, что это константа. (Константа является просто глобальной переменной за @@ -412,7 +412,7 @@

    1.2.5

    Таблицы 

    Таблицы 1.4 и 1.5 показывают документирование специальных форм и макросов, предназначения которых тесно связаны. Они очень сильно @@ -423,7 +423,7 @@

    1.2.5

    В описании специальных форм или макросов, наклонные слова +

    В описании специальных форм или макросов, наклонные слова обозначают соответствующую часть формы, которая вызывает специальную форму или макрос. Круглые скобки означают сами себя, и таким же образом должны быть указаны при вызове специальной формы или макроса. @@ -444,7 +444,7 @@

    1.2.5 22.4. -

    Двойные скобки, [[ и ]], показывают, что может использоваться любое +

    Двойные скобки, [[ и ]], показывают, что может использоваться любое количество альтернатив перечисленных в скобках в любом порядке, но каждая альтернатива может использоваться только один раз, если только за ней нет звёздочки. Например,

    @@ -457,11 +457,11 @@

    1.2.5

    +

    -

    означает, что, как максимум один x, любое количество y, и как максимум один z +

    означает, что, как максимум один x, любое количество y, и как максимум один z могут в любом порядке использоваться между p и q. -

    Стрелочка вниз, ↓, показывает, что ниже будет раскрываться данная +

    Стрелочка вниз, ↓, показывает, что ниже будет раскрываться данная форма. Это делает запись [[ ]] более читаемой. Если X является некоторым нетерминальным символом стоящим слева в некоторой БНФ форме, правая часть должна быть подставлена вместо символа ↓X во всех случаях его @@ -473,29 +473,29 @@

    1.2.5 p [[ ↓xyz-mixture]] q -

    xyz-mixture ::= x | {y}* | z
    -

    +

    -

    вместе составляют эквивалент для предыдущего примера. -

    В последнем примере в таблице 

    вместе составляют эквивалент для предыдущего примера. +

    В последнем примере в таблице 1.5, рассматривается использование записи с точкой. Точка, встречающаяся в выражении (sample-macro var . body), означает то, что имя body является списком форм, и не одиночной формой в конце списка. Эта запись часто используется в примерах. -

    В заглавной строке в таблице 

    В заглавной строке в таблице 1.5, запись [[ ]] означает, что может указываться любое количество деклараций, но максимум одна строка документации (которая может указываться перед, после, или в где-то в середине любого определения). -

    +

    1.2.6 Лисповый считыватель

    -

    Термин «Лисповый считыватель (читатель лиспового кода)» не относится к +

    Термин «Лисповый считыватель (читатель лиспового кода)» не относится к вам, читатель этой книги, и не к какому-либо человеку читающему код на Lisp’е, а именно к Lisp процедуре, которая называется read. Она читает @@ -504,10 +504,10 @@

    1.2.6

    +

    1.2.7 Обзор синтаксиса

    -

    В Common Lisp’е некоторые строковые символы используется в +

    В Common Lisp’е некоторые строковые символы используется в определённых целях. Полное описание синтаксиса можно прочесть в главе 22, но небольшой обзор здесь может быть также полезен: @@ -584,14 +584,14 @@

    1.2.7 -

    Квадратные и фигурные скобки, вопросительный и восклицательные +

    Квадратные и фигурные скобки, вопросительный и восклицательные знаки, ([, ], {, }, ? и !) ни для каких целей не используются в стандартном Common Lisp синтаксисе. Эти символы явно зарезервированы для пользователей, преимущественно для использования в качестве макро-символов для пользовательских расширений синтаксиса (см. раздел 22.1.3). -

    Была введена переменная

    Была введена переменная readtable-case. Данные настройки позволяют именам символов быть регистрозависимыми. Однако, поведение по умолчанию такое, как описано в предыдущем параграфе. В любом случае, diff --git a/clmse20.html b/clmse20.html index 5b3fcd12e123760a3e24daf9974dbf3fbb82813f..77399d36067faf8afedfd067f372585ba0699849 100644 GIT binary patch delta 18 Zcmdn*u-{=rG!v_lft9J*<^-nuvH(8`1}Ojl delta 18 Zcmdn*u-{=rG!v_#nU$&e<^-nuvH(9j1}^{r diff --git a/clmse21.html b/clmse21.html index 35cb894..744cf39 100644 --- a/clmse21.html +++ b/clmse21.html @@ -7,7 +7,7 @@ - + diff --git a/clmse22.html b/clmse22.html index f8db323..89ad682 100644 --- a/clmse22.html +++ b/clmse22.html @@ -7,7 +7,7 @@ - + diff --git a/clmse23.html b/clmse23.html index f6206bb..75d1e3a 100644 --- a/clmse23.html +++ b/clmse23.html @@ -7,7 +7,7 @@ - + diff --git a/clmse24.html b/clmse24.html index 741324d9958b58eb4d51c928fbbc40ba205628d9..b40e2c4e5cd09343913a1eecaac30af47132f3e7 100644 GIT binary patch delta 18 ZcmZ3GydZgl6BDbEft9J*W_PAYeE>YD1&aUx delta 18 ZcmZ3GydZgl6BDbUnU$&eW_PAYeE>Y#1(5&% diff --git a/clmse25.html b/clmse25.html index f33f61934ce3c00cbe3ff1dd91831ac99a8aa786..f9fee83ec20434d62e4c6f6c58ff9eed50eedd87 100644 GIT binary patch delta 18 ZcmdmGzsr7uD-)}cft9J*W-q1!SpYlh1%dzo delta 18 ZcmdmGzsr7uD-)}snU$&eW-q1!SpYm81&9Cu diff --git a/clmse26.html b/clmse26.html index 111516e..187d20c 100644 --- a/clmse26.html +++ b/clmse26.html @@ -7,7 +7,7 @@ - + diff --git a/clmse27.html b/clmse27.html index 2ba5d22..b368e00 100644 --- a/clmse27.html +++ b/clmse27.html @@ -7,7 +7,7 @@ - + diff --git a/clmse28.html b/clmse28.html index 6d9f3d0..3923408 100644 --- a/clmse28.html +++ b/clmse28.html @@ -7,7 +7,7 @@ - + diff --git a/clmse29.html b/clmse29.html index effde35..001183f 100644 --- a/clmse29.html +++ b/clmse29.html @@ -7,7 +7,7 @@ - + diff --git a/clmse3.html b/clmse3.html index 1bede8a..ab6e44a 100644 --- a/clmse3.html +++ b/clmse3.html @@ -7,7 +7,7 @@ - + diff --git a/clmse30.html b/clmse30.html index 6c98339..a60ad36 100644 --- a/clmse30.html +++ b/clmse30.html @@ -7,7 +7,7 @@ - + diff --git a/clmse31.html b/clmse31.html index 4b6c717..9b85b8c 100644 --- a/clmse31.html +++ b/clmse31.html @@ -7,7 +7,7 @@ - + diff --git a/clmse32.html b/clmse32.html index 63e0185..3adf36f 100644 --- a/clmse32.html +++ b/clmse32.html @@ -7,7 +7,7 @@ - + diff --git a/clmse33.html b/clmse33.html index e2c9aab..725e619 100644 --- a/clmse33.html +++ b/clmse33.html @@ -7,7 +7,7 @@ - + diff --git a/clmse34.html b/clmse34.html index bd75c25..1506439 100644 --- a/clmse34.html +++ b/clmse34.html @@ -7,7 +7,7 @@ - + diff --git a/clmse35.html b/clmse35.html index 49a3021..1b8013f 100644 --- a/clmse35.html +++ b/clmse35.html @@ -7,7 +7,7 @@ - + diff --git a/clmse36.html b/clmse36.html index e82c61f..7d75fed 100644 --- a/clmse36.html +++ b/clmse36.html @@ -7,7 +7,7 @@ - + diff --git a/clmse37.html b/clmse37.html index 9b71424..b4f452e 100644 --- a/clmse37.html +++ b/clmse37.html @@ -7,7 +7,7 @@ - + diff --git a/clmse38.html b/clmse38.html index 58695ff..6708039 100644 --- a/clmse38.html +++ b/clmse38.html @@ -7,7 +7,7 @@ - + diff --git a/clmse39.html b/clmse39.html index cf0f522..b2af569 100644 --- a/clmse39.html +++ b/clmse39.html @@ -7,7 +7,7 @@ - + diff --git a/clmse4.html b/clmse4.html index 55371f0..e0da393 100644 --- a/clmse4.html +++ b/clmse4.html @@ -7,7 +7,7 @@ - + diff --git a/clmse40.html b/clmse40.html index dbc7ad4..822cf80 100644 --- a/clmse40.html +++ b/clmse40.html @@ -7,7 +7,7 @@ - + diff --git a/clmse41.html b/clmse41.html index 6c9426c..987689a 100644 --- a/clmse41.html +++ b/clmse41.html @@ -7,7 +7,7 @@ - + diff --git a/clmse42.html b/clmse42.html index 3dc4cab..162f04c 100644 --- a/clmse42.html +++ b/clmse42.html @@ -7,7 +7,7 @@ - + diff --git a/clmse43.html b/clmse43.html index b762480..46d9c09 100644 --- a/clmse43.html +++ b/clmse43.html @@ -7,7 +7,7 @@ - + diff --git a/clmse44.html b/clmse44.html index b3eae9a..5f683f6 100644 --- a/clmse44.html +++ b/clmse44.html @@ -7,7 +7,7 @@ - + diff --git a/clmse45.html b/clmse45.html index 3c12ce5..84f1a19 100644 --- a/clmse45.html +++ b/clmse45.html @@ -7,7 +7,7 @@ - + diff --git a/clmse46.html b/clmse46.html index da8262e..4f8089e 100644 --- a/clmse46.html +++ b/clmse46.html @@ -7,7 +7,7 @@ - + diff --git a/clmse47.html b/clmse47.html index c330ee2..b0a1025 100644 --- a/clmse47.html +++ b/clmse47.html @@ -7,7 +7,7 @@ - + diff --git a/clmse48.html b/clmse48.html index 3950571..5c9b8a4 100644 --- a/clmse48.html +++ b/clmse48.html @@ -7,7 +7,7 @@ - + diff --git a/clmse49.html b/clmse49.html index 195a127..3abcc28 100644 --- a/clmse49.html +++ b/clmse49.html @@ -7,7 +7,7 @@ - + diff --git a/clmse5.html b/clmse5.html index 899d1d2..3dc3b5a 100644 --- a/clmse5.html +++ b/clmse5.html @@ -7,7 +7,7 @@ - + diff --git a/clmse50.html b/clmse50.html index 7383a29..46d493e 100644 --- a/clmse50.html +++ b/clmse50.html @@ -7,7 +7,7 @@ - + diff --git a/clmse51.html b/clmse51.html index a7b481a..f02be7e 100644 --- a/clmse51.html +++ b/clmse51.html @@ -7,7 +7,7 @@ - + diff --git a/clmse52.html b/clmse52.html index 9559c2a..f452a93 100644 --- a/clmse52.html +++ b/clmse52.html @@ -7,7 +7,7 @@ - + diff --git a/clmse53.html b/clmse53.html index dbf179b..768c14c 100644 --- a/clmse53.html +++ b/clmse53.html @@ -7,7 +7,7 @@ - + diff --git a/clmse54.html b/clmse54.html index 02ba959..85510bc 100644 --- a/clmse54.html +++ b/clmse54.html @@ -7,7 +7,7 @@ - + diff --git a/clmse55.html b/clmse55.html index 93f1ec6..aceb537 100644 --- a/clmse55.html +++ b/clmse55.html @@ -7,7 +7,7 @@ - + diff --git a/clmse56.html b/clmse56.html index 27b8376..708f544 100644 --- a/clmse56.html +++ b/clmse56.html @@ -7,7 +7,7 @@ - + diff --git a/clmse57.html b/clmse57.html index 5afa386..4ab5312 100644 --- a/clmse57.html +++ b/clmse57.html @@ -7,7 +7,7 @@ - + diff --git a/clmse58.html b/clmse58.html index 8a3ff87..85ef21e 100644 --- a/clmse58.html +++ b/clmse58.html @@ -7,7 +7,7 @@ - + diff --git a/clmse59.html b/clmse59.html index 874b094..583319b 100644 --- a/clmse59.html +++ b/clmse59.html @@ -7,7 +7,7 @@ - + diff --git a/clmse6.html b/clmse6.html index f715282..4ad00d1 100644 --- a/clmse6.html +++ b/clmse6.html @@ -7,7 +7,7 @@ - + diff --git a/clmse60.html b/clmse60.html index a4f53b3..0cce1cb 100644 --- a/clmse60.html +++ b/clmse60.html @@ -7,7 +7,7 @@ - + diff --git a/clmse61.html b/clmse61.html index dfdb4ca..331cfd3 100644 --- a/clmse61.html +++ b/clmse61.html @@ -7,7 +7,7 @@ - + diff --git a/clmse62.html b/clmse62.html index 0352c78..6234ec5 100644 --- a/clmse62.html +++ b/clmse62.html @@ -7,7 +7,7 @@ - + diff --git a/clmse63.html b/clmse63.html index f00b7e9..5b65ab5 100644 --- a/clmse63.html +++ b/clmse63.html @@ -7,7 +7,7 @@ - + diff --git a/clmse64.html b/clmse64.html index 887d548..1083f32 100644 --- a/clmse64.html +++ b/clmse64.html @@ -7,7 +7,7 @@ - + @@ -542,27 +542,27 @@

    12.5.2 Гиперболический синус(ez −e−z)∕2 +class="tabbing">Гиперболический синус  (e z −e−z)∕2

    Гиперболический косинус(e z + e−z)∕2
    +class="tabbing">Гиперболический косинус  (e z + e−z)∕2

    Гиперболический тангенс(e z −e−z)∕(ez + e−z)
    +class="tabbing">Гиперболический тангенс  (e z − e−z)∕(ez + e−z)

    Гиперболический арксинусГиперболический арксинус   log ( √ -----2) z + 1 + z @@ -572,24 +572,24 @@

    12.5.2

    Гиперболический арккосинусГиперболический арккосинус   log ( ∘ ---------------) z + (z + 1 ) (z − 1)∕(z + 1)
    -

    +

    Гиперболический арктангенсГиперболический арктангенс   log ( ∘ --------2) (1 + z) 1∕(1 − z )
    -

    +

    -

    Следует отметить, что результат

    Следует отметить, что результат acosh может быть комплексным, даже если аргумент комплексным числом не был. Это происходит если аргумент меньше 1. Также результат 12.5.2 -

    +

    12.5.3 Точки ветвления, главные значения и краевые условия на комплексной плоскости

    -

    Многие иррациональные и трансцендентные функции на комплексной +

    Многие иррациональные и трансцендентные функции на комплексной плоскости многозначны. Например, в общем случае, логарифмическая @@ -609,16 +609,16 @@

    12.5.3

    Common Lisp определяет точки ветвления, главные значения и краевые +

    Common Lisp определяет точки ветвления, главные значения и краевые условия для комплексных функции в соотвествие с предложениями для комплексных функций в APL [36]. Содержимое раздела по большей части скопировано из этих предложений. -

    [Однако перевод не сделан. Не могу назвать себя знатоком ТФКП] +

    [Однако перевод не сделан. Не могу назвать себя знатоком ТФКП] -