AO
Тайп класс говорит нам, что такой то тип обладает такими то свойствами. И был введён для параметрического полиморфизма в хачкеле
Size: a a a
2019 July 31
AO
Тут он конечно выглядит немного как с утиной типизацией, но всё же по мне под определение подподает
AO
Иначе бы не было никакого параметрического полиморфизма в елме
I
Тут он конечно выглядит немного как с утиной типизацией, но всё же по мне под определение подподает
Ну ты сделай мне пример без List
RT
Такой вот вопрос, я понял что также как и автор этого https://discourse.elm-lang.org/t/any-disadvantage-in-always-using-html-lazy/4086/8 поста не совсем понимаю html lazy зачем он был добавлен. Читаю https://guide.elm-lang.org/optimization/lazy.html
RT
Going back to our chair example, we called viewChairAlts ["seiza","chabudai"], but we could just as easily have called lazy viewChairAlts ["seiza","chabudai"] instead. - какая должна быть причина _не_ делать lazy ?
RT
Или вот кусок By switching viewEntry entry to lazy viewEntry entry we can skip a bunch of allocation that is very rarely useful. - почему как бы это не сделать дефолтным поведением ?
AO
Ну ты сделай мне пример без List
looool, а interface то и нет никакого в elm, и то что я нагуглил это всёго лишь фантазии автора, расходимся
2019 August 01
AK
data Constraint fn = Implement fn
type alias ToInt a = a -> Int
animalToInt : Constraint (ToInt AnimalEnum)
animalToInt = Implement \case animal ..
addThingsUp : List (Constraint (ToInt a)) -> IntAP
Тайп класс говорит нам, что такой то тип обладает такими то свойствами. И был введён для параметрического полиморфизма в хачкеле
Для параметрического полиморфизма с ограничениями! Не нужно путать!
AP
Неограниченный параметрический полиморфизм в Elm есть
AP
И да, тайпклассов или аналога в Эльме нет
AP
data Constraint fn = Implement fn
type alias ToInt a = a -> Int
animalToInt : Constraint (ToInt AnimalEnum)
animalToInt = Implement \case animal ..
addThingsUp : List (Constraint (ToInt a)) -> IntТакое плохо работает ибо когерентность не обеспечивается. Иметь хэшмап, в который одни ключи положили, пользуясь одним словариком методов, а другие другим — сомнительная перспектива
YP
?
AK
Такое плохо работает ибо когерентность не обеспечивается. Иметь хэшмап, в который одни ключи положили, пользуясь одним словариком методов, а другие другим — сомнительная перспектива
Это немного в шутку было, надеюсь, никто такой код писать не собирается :)
AP
Как раз использовать такое вполне можно, если нужно в рантайме реализацию интерфейса менять/определять. Просто именно на роль замены тайпклассам такие словарики не подходят
2019 August 06
AK
tryDecode3
: String
-> String
-> String
-> (String -> Result err a)
-> (String -> Result err b)
-> (String -> Result err c)
-> (a -> b -> c -> d)
-> Result err d
можно ли такое как-то упростить? задача попробовать на трёх строках по очереди все декодеры и если в какой-то комбинации удалось, то отдать результат в функцию
AK
реализовать через фолд по кортежу наверное можно
AK
а, кортеж нельзя фолдить :)