p
Или в чем прикол? К хорошему быстро привыкаешь, надо себя заставить? :)
Size: a a a
2018 December 08
ЗП
но есть профункторная и есть Лаарховеновская
p
оптика хороша когда надо доступится, затраверсить глубокие структуры
Ага, 2 странички приложенько - уже оптика на модели.
p
но есть профункторная и есть Лаарховеновская
Лаарховеновскую я понял.
ЗП
оптика это очень хорошо, это правильно
ЗП
Лаарховеновскую я понял.
ну профункторная изоморфна
p
Профункторную - нет. Она лучше?
ЗП
можно написать изоморфизм из Лаарховеновской в профункторную
p
Раз изоморфна, на мой вкус? :)
ЗП
есть пейпер про профункторную оптику
p
Для начало надо понять что такое профунктор :)
ЗП
Раз изоморфна, на мой вкус? :)
в пурсе только профункторная, Лаарховеновский вариант протух вроде в пурсе (не обновляется)
ЗП
Для начало надо понять что такое профунктор :)
объединение контрвариантного и ковариантного функтора
KV
А что, с точки зрения application девелопера между ними есть какое-то существенное отличие?
ЗП
тут не скажу) мб я не супер оптик
KV
Я имею в виду интерфейс, он же одинаковый должен быть. Если я ничего не путаю
KV
Тем более раз они изоморфны
ЗП
ну как бы деталь реализации это одно, а юзер интерфейс у линз одинаков
ЗП
есть только отличие когда юзаешь индексированную версию линз