FO
известно, что в лиспах за все время существования были реализованры вообще все возможные языковые фичи 😊
На лиспе нельзя писать как на фортране :-(
Size: a a a
2020 January 27
AK
Так можно про любой язык сказать, если взять достаточно специфичный набор требований, в идеале - спеку самого языка ;)
FO
Идеологически не получается :-(
VK
На лиспе нельзя писать как на фортране :-(
ой, вот это вообще легко, в рамках того же Common LIsp
FO
ой, вот это вообще легко, в рамках того же Common LIsp
Видимо надо было сначала писать на лиспе, а потом читать SICP, а не наоборот :))
BD
Видимо надо было сначала писать на лиспе, а потом читать SICP, а не наоборот :))
надо было сначала писать на SICP а потом читать Lisp
EO
Я может быть упустил нить, но жс лучший язык, потому что на нем можно интерпретатор жс написать
FO
Я может быть упустил нить, но жс лучший язык, потому что на нем можно интерпретатор жс написать
Так и на фортране интерпретатор фортрана можно запилить...
FO
Только насколько сложно это будет делать?
EO
Тут прозвучал критерий крутости языка по тому, можно ли на нем интерпретатор сделать. Под него все языки подходят
EO
Eugene
нет, суть в том, что бы написать свой eval
const eval = require(‘vm’).runInSandbox()
FO
Тогда надо изобрести тьюринг-полный ЯП, на котором интерпретатор ЯП нельзя написать
EO
Тогда надо изобрести тьюринг-полный ЯП, на котором интерпретатор ЯП нельзя написать
Все современные ЯП и так полны по Тьюрингу
EO
Даже brainfuck
АУ
Тогда надо изобрести тьюринг-полный ЯП, на котором интерпретатор ЯП нельзя написать
это потребует какого-то фундаментального пересмотра определения полноты по Тьюрингу 🤷♀️
FO
это потребует какого-то фундаментального пересмотра определения полноты по Тьюрингу 🤷♀️
Зачем? Просто такой язык автоматически становится тьюринг неполным и никому на практике не нужным
EO
У меня такое чувство, что вы путаете halting проблему и определение машины по Тьюрингу
FO
У меня такое чувство, что вы путаете halting проблему и определение машины по Тьюрингу
Мб. Я не очень умный в CS
АУ
У меня такое чувство, что вы путаете halting проблему и определение машины по Тьюрингу
halting problem кажется вместе с полнотой по Тьюрингу в комплекте идёт? 🤔
M
halting problem кажется вместе с полнотой по Тьюрингу в комплекте идёт? 🤔
Нет. DFA например не Тьюниг полные но подвержены halting problem