AK
так скажи какие конкретно типы в Rust имеют эти оба трейта
> хер знает что там у тебя вместе с ним лежит
компилятор знает
Size: a a a
2017 October 26
AK
если это бинарное дерево, он тоже знает?
NK
хули нет
AP
В типе же описано в т.ч. и ветвление
AK
вообще да, немало
AK
зачем нужен словарь с юнион-типом в качестве ключа если можно вместе с инстансами хранить данные и паттерн-матчить по ним?
AP
Словарь, это first class citizen. Он может строиться динамически - например из данных с сервера
AP
А функция с PM - нет
NK
зачем нужен словарь с юнион-типом в качестве ключа если можно вместе с инстансами хранить данные и паттерн-матчить по ним?
ты фактически спросил зачем словарь с цифрами, строками в кач-ве ключей
NK
а вопроса глупее я давно не слышал
AK
ID:351615646
ты фактически спросил зачем словарь с цифрами, строками в кач-ве ключей
нет, я спросил про юнион-тип
NK
это юнион типы
AK
это *comparable*
NK
и то, и другое
AP
type Foo = Foo | Bar | Baz это Union type, т.е. тип-суммаAK
если одна/две из опций юнион-типа идут с рекордом, всё равно надо будет писать некую функцию которая определит равны ли они друг другу, включая вложенность
AK
зачем нагружать язык?
NK
если одна/две из опций юнион-типа идут с рекордом, всё равно надо будет писать некую функцию которая определит равны ли они друг другу, включая вложенность
компилятор это тоже может делать