YS
и такие же семантические циклы можно рекурсией задавать, как в С
Size: a a a
2020 February 04
KR
"Древовидный" - это слишком обще - у ассемблера тоже программу можно представить, как B-tree.
YS
"Древовидный" - это слишком обще - у ассемблера тоже программу можно представить, как B-tree.
"можно представить" притянуто за уши. программа на Хаскеле и С — сразу дерево и ничто иное
МБ
Это, же компьютер. В нём вообще всё древовидное.
KR
Деревянное и ламповое!
YS
Это, же компьютер. В нём вообще всё древовидное.
всё нолики и единички
KR
Самая суть!
АУ
У них довольно прикольная письменность. С одной стороны, азбука, а с другой - квадратная. Какой-нибудь корейский 1C может выглядеть совершенно сумасшедшим образом.
есть эзотерический язык на хангыле - 아희 ("ахи"). Он как раз двумерный. Но это ж неинтересно
МБ
всё нолики и единички
Ну, да. Нолик выбирает левое поддерево, а единичка - правое :) Так и живём.
МБ
Даже на уровне микросхем.
KR
Тем не менее, я не очень понимаю, почему Хаскель не попадает под "графы". У Плазмеера написано, что всё там - graph rewriting.
KR
Кстати, удивительно, но среди С++-ников то, что язык метапрограммирования хорошо описывается term-rewriting, не является общим местом.
МБ
Так всё и всегда может быть выражено через term rewriting. Алгорифмы Маркова же и операционная семантика. Вопрос только в размерах и кодировке терма.
KR
Так всё и всегда может быть выражено через term rewriting. Алгорифмы Маркова же и операционная семантика. Вопрос только в размерах и кодировке терма.
Не, там очень естественно получается, напрямую:
template <int> class Z {тело1};
template <class T> class Z { тело2 };
и
Z "int" = { тело 1}
Z T = {тело 2}
template <int> class Z {тело1};
template <class T> class Z { тело2 };
и
Z "int" = { тело 1}
Z T = {тело 2}
KR
Собственно, только равно поставить перед открывающей {
KR
Но, к сожалению, из-за сложной SFINAE это так - приближение, хотя и очень удачное.
МБ
Ох уж эти синтаксические мелочи. Все должны писать на Лисп, чтобы не отвлекаться на несущественные вопросы! 🤣
KR
Я насчитал 3 компилятора из чего-то Haskell 98 - подобного в метапрограммы C++. Это MetaFun, eClean и ещё какой-то диссер.
А вот обратно - откомпилировать Boost::mpl во что-то читаемое, увы, нельзя.
А вот обратно - откомпилировать Boost::mpl во что-то читаемое, увы, нельзя.
YS
Тем не менее, я не очень понимаю, почему Хаскель не попадает под "графы". У Плазмеера написано, что всё там - graph rewriting.
может быть, внутри, но синтаксис линейно-деревянный, не графовый
VT
А какие "истинно двумерные"?