DS
Ну это как обычно
Size: a a a
2020 June 08
DF
Да
p
Ну и если говорить про удобство, то все эти варианты говно, перед ML синтаксисом
нет
p
ML наполовину говно
Т8
Нет, язык должен иметь простую для парсинга грамматику
Кому должен? Мне не должен. Разрабам компилятора - ну, пускай не берутся, значит
p
наполовину божественен
p
хз как можно было такое совместить но люди сумели
DS
Т-34 85
Кому должен? Мне не должен. Разрабам компилятора - ну, пускай не берутся, значит
А потом будут как плюсы - где парсинг языка undecidable задача
DF
Ну это крайности уже
Т8
А потом будут как плюсы - где парсинг языка undecidable задача
Какой пример современный плюсовый компилятор не может разрешить?
Т8
Именно встречающийсч на практике
Т8
А не сказочный гипотетический
DS
Т-34 85
Какой пример современный плюсовый компилятор не может разрешить?
https://medium.com/@mujjingun_23509/full-proof-that-c-grammar-is-undecidable-34e22dd8b664
Ну и главное тут - последний абзац текста. Сложная грамматика языка мешает написанию и использованию тулинга.
Ну и главное тут - последний абзац текста. Сложная грамматика языка мешает написанию и использованию тулинга.
Т8
Кинул в закладки, посмотрю
V
https://medium.com/@mujjingun_23509/full-proof-that-c-grammar-is-undecidable-34e22dd8b664
Ну и главное тут - последний абзац текста. Сложная грамматика языка мешает написанию и использованию тулинга.
Ну и главное тут - последний абзац текста. Сложная грамматика языка мешает написанию и использованию тулинга.
Так ведь в любом языке нельзя решить halting problem значит грамматика любого языка undecidable
V
Или я не так понял?
DS
Vetro
Или я не так понял?
Не так понял, там в отличие от результата вычисления шаблонов будет либо функция, либо переменная.
V
Теперь понял, тогда да, имеет смысл
DS
Vetro
Теперь понял, тогда да, имеет смысл
Therefore, the following line is a function declaration if the solution to the Post Correspondence Problem with the dominoes [bba, bb], [ab, aa], [a, baa] is “Yes”, and a variable declaration if it is “No”.
V
крайне интересно получается
ну неудивительно с шаблонной системой крестов
ну неудивительно с шаблонной системой крестов