Б[
Size: a a a
2021 August 19
Б[
а если в рантайме надо добавить?
Б[
есть возможность?
AB
не, это же статические типы
AB
так вот, в чём суть
AB
вы можете теперь с гарантиями от компилятора проверить все типы, достать оттуда данные
AB
знаете, что будет, если вы какой-то кейс с типом не проверите?
AB
оно блять не скомпилится!
AB
и да, эти енамы-типы содержат поля, которые паттернматчнгом достаются
AB
знаете, как написать на типах суммах список?
Б[
AB
а вот так нахуй
AB
либо пустой
AB
либо из головы и хвоста
AB
хвост — этот же тип суммма
AB
это рекурсивное определение типа
AB
и, опять же, компилятор всегда заставит проверить все кейсы
AB
чтоюы вы не обьебались
AB
List(5, List(5, Empty)))