VH
В shapeless функция everywhere есть, она по типу ищет и применяет функцию
Size: a a a
2020 June 06
AS
С shapeless я на оч. базовом уровне знаком 😕
AS
Поэтому хотелось что-то готовое найти
VC
quicklens норм - не надо инстансы руками колбасить
M
С такими кейсами понятно, что нельзя.
Я говорю только про те кейсы, когда когда конечный тип в линзе является уникальным
Я говорю только про те кейсы, когда когда конечный тип в линзе является уникальным
Это плохой код. Сегодня у тебя на 3-ем уровне типом Т было одно поле, а завтра стало называться по другому и поменялась семантика поля, а линза осталась та же, которая семантически была привязана к предыдущему полю и никакой компилятор не сможет подсказать, что изменилось что-то значимое и ты тоже не обратишь на это внимание. Поэтому в этом плане подобный автоматический подход на основе поиска уникальных вложенных типов с учетом произвольной вложенности - не рационален, лишний способ выстрелить себе в ногу на пустом месте, undefined behavior и т.д.
AS
Это плохой код. Сегодня у тебя на 3-ем уровне типом Т было одно поле, а завтра стало называться по другому и поменялась семантика поля, а линза осталась та же, которая семантически была привязана к предыдущему полю и никакой компилятор не сможет подсказать, что изменилось что-то значимое и ты тоже не обратишь на это внимание. Поэтому в этом плане подобный автоматический подход на основе поиска уникальных вложенных типов с учетом произвольной вложенности - не рационален, лишний способ выстрелить себе в ногу на пустом месте, undefined behavior и т.д.
Плохой код - это стена текста с определениями линз для всех комбинаций.
M
Плохой код - это стена текста с определениями линз для всех комбинаций.
Найди замену, просто не оставляй выбор за компилятором)
AS
Найди замену, просто не оставляй выбор за компилятором)
Я компилятору доверяю больше чем себе :)
Э
я запутался
Э
человек на интервью говорит, что dotty выйдет ещё. А в инете есть уже dotty
Э
что происходит?
ZM
человек на интервью говорит, что dotty выйдет ещё. А в инете есть уже dotty
Высокий и в очках?
S
С shapeless я на оч. базовом уровне знаком 😕
Э
Высокий и в очках?
В очках и может двигаться в 4 измерение
ZM
В очках и может двигаться в 4 измерение
Э
тогда ещё подожду)
S
одна проблема: берется первое попавшееся поле подходящего типа. при желании, конечно, можно отлавливать наличие нескольких полей и падать, но мне лень
S
ну и для такой разлапистой функуиональности уже проще будет магнолию взять
Oℕ
Можт какие-нть другие линзы такое могут?
quicklens? tofu-optics? 🤔
quicklens? tofu-optics? 🤔
а что нужно?
AS
Вот такое хочется