enymaytonЯ долго запрягаю перед тем как ехать. И вобщем-то комбинаторный код мне почему-то напомнил decaws.
Тут недавно один чел создавал свой эзотерический язык c таким названием (стековая машина с минимумом
команд). И у меня возникли корыстные идеи. Правда перед тем как их обсуждать хотелось-бы самому
понять суть КЛ и что оно даёт. В первую очередь привлекает отсутствие машины имени Тьюринга которую
мы натягиваем на любую вычислительную систему.

Открою Великую Тайну.

В сущности, все современные микропроцессоры это физические реализации машины Тьюринга.
И других доступных вычислительных архитектур в наличии нет. Были попытки создать в рамках многомиллиардных ОКР в Европе, США, Японии, но воз и ныне там.

Почитайте Хендерсона. Функциональное программирование. Применение и реализация. Там отдельно описан комбинаторный подход к реализации вычислений. А затем, три варианта реализации основанные на машине Тьюринга, ибо ничего другого как бы и нет.
Вообщем адский ад получается. А потому реалисты пишут проекты на сях и паскале - с тьюринговой точки зрения - идеальные языки.

Стек - одна из абстракций Тьюринговой машины и как бы ничего нового

Машина Тьюринга, алгорифм Маркова (и др.) есть формальные описания алгоритма, необходимые абстракции над ещё одной абстракцией. Что значит "физические реализации" ? Любая ЭВМ есть физическая реализация МТ по критерию "назначение", т.к. её основная задача обработка некоторого алгоритма. Процессоры воплощают в себе идеи фон Неймана. Именно он придумал так называемое понятие процесса, и описал работу процессора. Не сомневаюсь в том, что работу Алана Тьюринга он изучил перед тем как заниматься этим, и даже опирался на неё (множество возможных команд, например, конечно не его изобретение), но говорить о том, что процессор есть реализация машины Тьюринга, или любого другого формального описания алгоритма мне не кажется верным.

А я думал что стек это множество элементов взаимодействующих по принципу LIFO.

eny Вообщем адский ад получается. А потому реалисты пишут проекты на сях и паскале - с тьюринговой точки зрения - идеальные языки.

Чем они идеальны с точки зрения Алана Тьюринга ?