AP
Set.fromList <| [Just 1, Just 2, Nothing]Size: a a a
2017 October 26
AP
AP
Maybe, это просто пример!
AK
и, какая польза из него?
NK
ЛОЛ
AP
"Не может быть потому что быть не может" какой-то
AP
ID:351615646
ЛОЛ
Я вообще уже надорвался :)
AK
AK
вот отличие Эльма от Хаскеля на пальцах
AP
type Error = Critical | NonCritical | Custom String
possibleErrorsFromCustomerX : Set Error
possibleErrorsFromCustomerX = oops!
AP
Причем здесь Хаскель то? Куча языков позволяет использовать пользовательские типы в качестве ключей для словарей!
NK
раст!!
AP
Это просто must have, тем более для типизированного языка!
AP
И даже плевать, что на самом эльме нельзя написать такой словарь (не плевать - это всё равно стыдоба!), но почему в ядро то не встроена поддержка произвольных типов ключа?
AP
На самом деле я знаю, почему :)
AP
Но это не уменьшает убогость, а лишь подчеркивает :)
AK
type Error = Critical | NonCritical | Custom String
possibleErrorsFromCustomerX : Set Error
possibleErrorsFromCustomerX = oops!
ну присвой свой Int-код каждой такой ошибке, вот и будет тот же hashset вручную
AP
Это type erasure
NK
На самом деле я знаю, почему :)
потому что проще компилить в жс где так же?
AK
эй, это запрещённые ходы!