Compiler Development

В языке не должно быть списка. Список должно быть можно организовать с помощью языка. Это, как говорится, две большие разницы. 🦆

Как он будет тайпчекаться? Я так понимаю у тебя что то HM полобное

Что это значит?

Ладно, делай список, расскажешь потом

@lambda_regrin предлагаю почитать спекую любого нормального языка, где есть хоть какие-то параметрические типы и есть банальное наследование подтипов. И то и другое на коленке делается без особого труда. Алгебраические в тривиальном случае реализуемы через наследование. Итого искомый результат. Для полного кайфа надо будет только вариантность докрутить в чекере потом, но для начала ослабив её можно просто кидаться рантаймовыми ошибками в краевых случаях.

а конкурентное преимущество как реализовать

Ладно... Пойду ка я делать всё как нужно...

Если бы я был принимающим, я уже бы знал какой вопрос задать

Эмм.. Подтипы очень сильно усложняют анализ параметрических типов

Я вообще не хочу касаться ООП! У меня даже структур не будет. Вместо них будет алгебраический тип с одним конструктором.

зависит от глубины глубин, в которые мы хотим статически залезть, да)) ну и я специально уточнил про наколеночность))

Биты! Байты! Слова! 😁

GF(2), немного-немало

Можешь, кстати, int через алгебраические типы сделать и паттерн матчинг на нём реализовать 😊

nohello?

А кто нибудь хайрит в компиляторы через Казахстан, Армению и прочие страны куда популярно "релоцироваться"?

В принципе, JetBrains, например...

Они одни?

У меня нет списка всех компаний, которые нанимают компиляторщиков. 🤷‍♀️

Вот бы кто придумал чат где люди приходят, задают вопросы а им живые люди отвечают. Наверное это будет фурор

Stack Overflow пробовал такое сделать, но лавочка по большей части прикрылась. 😉