AP
Типы-суммы есть
Size: a a a
2017 October 26
AK
есть Union-типы, которые неоднозначны
AK
enum в понимании Java это список константных чисел, поэтому по нему можно сравнивать безболезненно
AK
Union-тип может нести с собой непредсказуемые структуры любого порядка
AP
Какой нафиг
> enum в понимании Java
? Это канал про Аниме?
> enum в понимании Java
? Это канал про Аниме?
AK
Ну это же HashMap<Whatever, Any> мы обсуждаем, разве нет?
AK
если у Whatever есть hashCode, то его можно сравнивать
AP
> Union-тип может нести с собой непредсказуемые структуры любого порядка
и тем не менее проверка на равенство в эльме есть для любый алгебраических типов
и тем не менее проверка на равенство в эльме есть для любый алгебраических типов
AP
Но ключами сделать оные нельзя?
AP
Это, извините, булшит
AK
какая такая проверка, паттерн-матчинг в смысле?
AP
Just (Just (Just 3)) == Just (Just Nothing)AP
Это проверка на равенство. Рекурсивная по структуре. И она есть
AP
Словари не только по хэшу бывают, как бы
AK
выглядит не очень, непонятно как Эван такое позволил
AP
Если уйти от словаря и взять
Set - тут точно хватит проверки на равенство. Которая есть для всех типов. Но Set по Maybe comparable уже нельзя иметьAK
ну Set это набор уникальных элементов
AK
AK
не понимаю зачем Set по Maybe comparable, можно реальный пример какой-нибудь?