Re: Re^2: Re^2: Translator

From

Ivan Boldyrev (2:5080/1003)

To

Andrew Starsh ()

Date

2003-01-27T17:16:44Z

Area

RU.ALGORITHMS

From: Ivan Boldyrev <boldyrev@dataeast.ru>

"AS" == Andrew Starsh writes:
 AS>    Hello Ivan!

 >>>>> возможно - лисповские списки, стpуктуpа котоpых создается "на
 >>>>> ходу" - в паскале не pеализовать _ничем_.
 IB>>>> Да? А ничего, что они эквивалентны машине Тьюринга, и
 IB>>>> следовательно, эквивалентны друг другу? А куда из Паскаля делись
 IB>>>> records с вариантами, new/dispose? Вот так и можно имитировать
 IB>>>> лисповые списки. А можно вообще завести байтовые массивы во всю
 IB>>>> память и работать с этой памятью напрямую, организуя сборку
 IB>>>> мусора и т.п.
 AS>>> Вы пpедставляете себе это в тpанслятоpе? Во что паскальное
 AS>>> пpевpатится пpостейшее лисповое (setq a (list 11 29 34 15) (setq
 AS>>> b ()) (while (/= nil a) (setq list (car a) (list b)) (setq a (cdr
 AS>>> a)) )

 IB>> Представляю.. Ничуть не страшнее, чем то, что генерит CMU Common Lisp
 IB>> на ассемблере x86.

 AS> Так это на паскале. А что будет, когда этот паскаль откомпилить? ;-)

А это уже нас не интересует. Работает и ладно :) Вообще изначальный
тезис был что "не всегда это возможно". Так вот всегда, а сложность --
это дело десятое :)

-- 
Ivan Boldyrev
PGP fp: 3640 E637 EE3D AA51 A59F  3306 A5BD D198 5609 8673

                             Главный вопрос математики: не всё ли равно?
--- ifmail v.2.15dev5
 * Origin: (http://news.cca.usart.ru/) USURT's FidoNET<-> (2:5080/1003@fidonet)