AP
Это просто три типа
Size: a a a
2017 June 05
AK
Тогда я не понимаю, что нужно-то. Если есть несколько списков и нужно из них выбрать только тот, в котором все значения типа TypeOne, то проверяете все списки при помощи all isTypeOne list - и получаете желаемый список (или списки). Вроде же так задача формулировалась...
да, всё верно, в принципе решает задачу, думал что есть синтаксический сахар для такого
AK
Это просто три типа
является ли суб-тип юнион-типа типом сам по себе?
AW
all это и есть синтаксический сахар, позволяющий вам не писать эту функцию самостоятельно из примитивов
AP
Вы хотите из типа-суммы достать слагаемое и при этом сохранить тип равный типу-сумме, но при этом гарантировать, что из суммы останется только одно слагаемое?
AP
type Union = TypeOne | TypeTwo - здесь не два типа, ровно одинAP
TypeOne - это не тип, это значение (конструктор, на самом деле, но всё конструктор значения)AP
значение не является типом
AK
кажется понимаю
AP
Т.е. UnionType в данном случае - никакой не union.
QZ
для того чтобы доставать из списка элементы только одного типа нужна сначала поддержка гетерогенных списков, а этого в элме нет )
AP
Union, это
type Both = S String | I IntQZ
в том что сейчас - они и так одного типа
AP
Конструкторы типа-суммы, это не (разные) типы. И дело тут никак не в гомогенности списков, а дело в теории типов :)
QZ
я и не утверждал что они типы
QZ
я говорил что для того чтобы получить только список с элементами T нужна поддержка списков где можно держать более одного типа
иначе задача смысла не имеет
иначе задача смысла не имеет
AP
> для того чтобы доставать из списка элементы только
о_О
одного типа нужна сначала поддержка гетерогенных списково_О
AP
> иначе задача смысла не имеет
А! Теперь понял :)
А! Теперь понял :)
AK
Union, это
type Both = S String | I Intхочу так сделать:
doSomething : List Both -> Result Int Int
doSomething myList =
case myList of
List S allStrings -> Err -1
List I allNums -> Ok (List.map (+) allNums)
_ -> Err -1