История изменений
Исправление mix_mix, (текущая версия) :
Вопрос - нахрена ты вот это написал если даже еще не приступил к работе?
Система типов тебе не даст в рантайме сложить карандаши с огурцами, и всё это за бесплатно. Без неё мы имеем оверхед на теги (для всех типов, а не только disjoint union) и необходимость писать доказательство того, что код рабочий.
Исправление mix_mix, :
Вопрос - нахрена ты вот это написал если даже еще не приступил к работе?
Система типов тебе не даст в рантайме сложить карандаши с огурцами, и всё это за бесплатно. Без неё мы имеем оверхед на теги и необходимость писать доказательство того, что код рабочий.
Исходная версия mix_mix, :
Вопрос - нахрена ты вот это написал если даже еще не приступил к работе?
Система типов тебе не даст в рантайме сложить коробки с котами, и всё это за бесплатно. Без неё мы имеем оверхед на теги и необходимость писать доказательство того, что код рабочий.