AP
А не, нифига
Size: a a a
2020 May 18
AP
как-то тупо
AP
"поле не задано" но "поля нет"
AP
Причём я не могу ничего сделать в такой ситуации: просто аргумент я использовать не могу — это значение входного типа, но и создать значение из старого не могу, потому что полиморфизм не даёт мне информацию о прочих полях.
AP
Зато так тайпчекается :)
AP
В итоге расширяемые рекорды нельзя расширить. Единственное, что можно сделать, это получать или изменять поля, зная только лишь имена нужных.
DK
Да, на это многие ругаются, вернуть из функции расширяемый рекорд неопределенного типа не получится, только принять
DK
При том говорят раньше можно было, а теперь убрали
AP
Вернуть можно. Расширить нельзя
AP
(и заузить, как я уже выше писал)
AP
То есть нельзя, например, DI запилить на основе этого всего
AP
Когда зависимости прописываются в полях, а потом какой-то код их удовлетворяет (удаляет из типа)
DK
Но это даёт всё таки определенные возможности полезные... например можно своего рода вручную сделать ограниченный полиморфизм... можно написать моноид, можно запилить дикшинари где в качестве ключа будет что угодно, а вот функтор сделать уже не выйдет, hkt не завезли
DK
На этом принципе построена библиотека с линзами elm monocle
AP
Для этого не нужны анонимные рекорды
AP
Разве что один словарь таскать позволят, а не несколько
AP
Вот только как раз стирание полей тут было бы в тему
DK
Для этого не нужны анонимные рекорды
А можно пример? Как сделать дикшинари с ключом любого типа, а не только comparable?