AP
Но тогда никакой функции fieldType (зачем она вообще?)
Size: a a a
2018 February 21
AE
Ни так ни эдак, и код с размеченная суммой типов стал сложнее
AE
Зачем мне писать тип поля вручную если я его задал в модели данных
AP
Ну ок, типы полей заданы в типе данных. В чем проблема то?
AE
написать функцию
fieldType которя получит Field a и на основании типа a вернёт нужный тип в виде строкиλO
Если она получит
Field a то откуда она узнает что такое a?AP
ниоткуда.
Field a - абсолютно полимофный тип и функция ничего не может узнать об aAP
Никак :)
λO
тайпклассы нужны
AE
вот он жестокий миру функциональщины вибириай: копипаста или лишний слой типизации и немного лишних функций что всё это поддерживать
I
вот он жестокий миру функциональщины вибириай: копипаста или лишний слой типизации и немного лишних функций что всё это поддерживать
Всегда можно перейти на
clojure и никаких проблем с типами 🌚AV
возможно имелось ввиду "никаких проблем с типом"
AV
ну тем одним типом, который в кложе есть
AP
А как ad-hoc полиморфизм сделать?
Через таскание словарика с методами вместе со значением.
λO
Ну неправда всё-таки. Один тип - это скорее баш или тикль, где всё - строка.
λO
type alias Field a = {
value: a,
type: String
error: String
}