@val_krylov ^ кажется, мы нашли случай, где LL круче, чем LR 😉

Но снова не "чем top-down лучше bottom-up". :) Предполагаю, что для любого top-down можно построить эквивалентный по выводу bottom-up, но доказательств этого (как и доказательств противоположного) сейчас не припомню.

не понимаю о чем речь, если запретить имплентировать разные интерфейсы где могут быть одинаковые имена полей то никаких проблем вроде не видно

Нет, пилить очередного конкурента PVS-Studio/Coverity/PT AI/Fortify/Solar... Кого из наших конкурентов я забыл? 😂

А вот этот замечательный Jit x86-64->ARM? Не надо ли будет рисовать что-то подобное под Windows?

использует или использовал тут кто-нибудь GNU lightning?

использует или использовал тут кто-нибудь GNU lightning?

На Хабре можно узнать неприятные новости о будущем и "подстелить соломки"

Пример:

Кстати, про Apple.

Google поддержал инициативу и теперь обе империи зла будут "чмырить" ( термин верный уж больно: ибо из практики их подельников масштабом помельче) SSL сертификаты сроком более чем на 398 дней.

Никакого зла не хватает...
Раньше можно было закупать на 2 года. Теперь - возни в два раза больше.

( Изготовители сертификатов на "сходняке" были против. Их было 2/3. Но беспредельщикам - не указ)

Такие вот будни империализма...

такой вопрос: как в строго типизированных языках работают интерфейсы?
допустим у нас есть класс, он имплентирует несколько интерфейсов, и допустим у нас есть функция которая принимает конкретный интерфейс и обращается к какому нибудь полю в нем
как компилятор трансформирует такой код? по сути нужно как то получить смещение для поля в полученном объекте, но объекты приходят разные и с разным набором полей

Смещение функции print в виртуальной таблице для интерфейса A одинаковое для всех классов.

ну вот вопрос, а как найти адрес таблицы интерфейса для приходящего инстанса класса?

Википедия ссылается на Beatty, J. C. (1982). "On the relationship between LL(1) and LR(1) grammars".
Я посмотрел бегло, и если правильно понял, то там доказывается, что любая p-редуцированная LL(1) есть LALR(1).
p-редуцированная там, вероятно, означает "не содержит нетерминалов, определённых как ϵ‎". Последнее меня немного смущает, надо вникать.

Ну т.е. правила вида

a : x (b | c); b : D | ;

Надо переделывать в

a : x D | x | x c;

?

указатель на таблицу лежит обычно либо с описанием класса (типа) либо с самим инстансом (жирные указатели, трейты вот это всё)

а как кстати проверять принадлежность объекта к классу instanceof если мы передаем поинтер на середину обьекта?