M
Size: a a a
2021 June 02
M
Такое конечно в пятницу надо кидать, но забавно
K
Отличный бенчмарк (нет). Автор забыл про конвейеризацию. Эти инструкции могут быть быстрее или медленнее до/после других инструкций.
B
Я понял: имелась в виду undecidability в том смысле, когда говорят о неразрешимости парсинга C++? Так это из-за ambiguous grammar.
B
А есть доказательство, что NLINSPACE (это класс сложности LBA) выше NP и P?
2021 June 03
[
а для создания типов-сумм в языке, нужно на уровне компилятора реализовывать кодировку Чёрча?
к
нет, это ужасно неэффективно
[
тогда тупо носить с собой конструктор, матчить, если матчинга нет - убивать программу?
а
h
Зачем конструктор? Просто делаешь как enum в расте и вместо имени мембера используешь имя типа
[
"конструктор" это я про хаскельный.
типа 1 для первой ветки типа, 2 для второй...
типа 1 для первой ветки типа, 2 для второй...
h
да. tagged union, что нужно
K
https://serokell.io/blog/how-to-implement-lr1-parser - я написал статью по реализации LR(1)-парсеров, если кому интересно)
а
спс, как раз эту тему изучаю
B
Ты кто из Serokell
h
А что это вообще такое, и почему у всех там такие эпичные Аватарки?
B
Компания такая
B
Программируют, академ. статьи пишут
[
Сразу видно - не какие-то жуны-пхпшники