Compiler Development

Мне нужно конкурентное преимущество.

а это честно?

ну слушай детали все смешнее и смешнее

Я хотел сделать обобщённые типы.

Там ещё программу-чат нужно на своём языке написать, ты в курсе?

Вы хотите обойти тех, кто больше заслуживает, вы осознаёте это?

Значит рекурсивные типы надо написать за пол дня

Я пишу на Lean 4!

чувак покупай токены и запускай агента, вариантов у тебя нет больше

ну-ну

а такими вопросами не надо задаваться

Разница между "топ вузом" и "региональной помойкой" практически всегда один препод, который техдиректор (или хотя бы тимлид) в чём-то полезном. В остальном вузовские говны различить весьма сложно.

Господа, давайте не будем оффтопить.

Сразу видно человека который что то понял в жизни, а не ботана чмошника

Ладно. Обойдёмся без обобщённых типов. Попробуем просто алгебраические типы.

Какие интересные алгебраические не рекурсивные типы ты знаешь?

Тип сумма, тип произведение. Мы просто не будем обрабатывать рекурсию.

Список будет!

Как?