Compiler Development

Сегодня закончу спеку.

А как ты список сделал без adt и обощенных типов

Я пока не добавлял списки в сам язык.

А тайпчекер есть?

HM?

Мне это напоминает мем, где пацанёнок деньги вместо музыкальной школы на комиксы спускал, а потом хотел за день научиться играть бетховена 🌚

Филипп, вы бы сразу формальную верификацию за день написали

Не рекурсивно. Я буду просто проверять, что все элементы одного типа в цикле.

Без тайпчека

А откуда у вас дедлайн в день?!

Добавь просто S expressions в отрыве от тайпчека