Size: a a a

Elm Lang сообщество разработчиков

2020 May 18

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
А не, нифига
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
как-то тупо
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
"поле не задано" но "поля нет"
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Причём я не могу ничего сделать в такой ситуации: просто аргумент я использовать не могу — это значение входного типа, но и создать значение из старого не могу, потому что полиморфизм не даёт мне информацию о прочих полях.
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Зато так тайпчекается :)
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
В итоге расширяемые рекорды нельзя расширить. Единственное, что можно сделать, это получать или изменять поля, зная только лишь имена нужных.
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
Да, на это многие ругаются, вернуть из функции расширяемый рекорд неопределенного типа не получится, только принять
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
При том говорят раньше можно было, а теперь убрали
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Вернуть можно. Расширить нельзя
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
(и заузить, как я уже выше писал)
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
То есть нельзя, например, DI запилить на основе этого всего
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Когда зависимости прописываются в полях, а потом какой-то код их удовлетворяет (удаляет из типа)
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
Но это даёт всё таки определенные возможности полезные... например можно своего рода вручную сделать ограниченный полиморфизм... можно написать моноид, можно запилить дикшинари где в качестве ключа будет что угодно, а вот функтор сделать уже не выйдет, hkt не завезли
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
На этом принципе построена библиотека с линзами elm monocle
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Для этого не нужны анонимные рекорды
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Разве что один словарь таскать позволят, а не несколько
источник

AP

Aleksei (astynax) Pi... in Elm Lang сообщество разработчиков
Вот только как раз стирание полей тут было бы в тему
источник

DK

Denis Krivosheev in Elm Lang сообщество разработчиков
Aleksei (astynax) Pirogov
Для этого не нужны анонимные рекорды
А можно пример? Как сделать дикшинари с ключом любого типа, а не только comparable?
источник