ИЧ
я бы оч хотел пример с линзой наколбасить на питоне, но понять что он делает не получается
Size: a a a
2020 April 01
МБ
А у какого объекта будет вызван метод bar?
Это не метод будет, а функция специального вида.
МБ
я бы оч хотел пример с линзой наколбасить на питоне, но понять что он делает не получается
Линза - это просто пара функций get и set. Потом это всё обобщается
AG
Имеется в виду профункторная оптика?
Меня больше заинтересовал вопрос о связи с монадами, эффектами и прочим таким
Меня больше заинтересовал вопрос о связи с монадами, эффектами и прочим таким
в ограниченном смысле можно еще через траверсалы зайти
AG
я бы оч хотел пример с линзой наколбасить на питоне, но понять что он делает не получается
линза это комбинатор двустороннего программирования
AT
линза это комбинатор двустороннего программирования
Или даже "обратимого программирования"... 🤔
МБ
ну связь с монадами у профункторов известная:
Monad ~= ArrowApplyЕсли я верно помню, там только в одну сторону связь: легко из профунктора сделать монаду. Обратное не вспоминается. Что бы погуглить?
ИЧ
линза это комбинатор двустороннего программирования
а в терминах императивного языка она имеет аналог?
AG
а в терминах императивного языка она имеет аналог?
ну не знаю, backpropagation например достаточно императивное понятие?
MM
Ни у какого. В ФП же нет объектов и методов. 😃
Ок, сформулирую по-другому
> Если в цепочке
...
> А в линзах всё ОК будет, если по типам сойдётся.
Что имеется в виду? Что будет делать ФП-аналог кода "this.foo.bar", который будет работать с линзами, если foo возвращает некий аналог итератора?
> Если в цепочке
this.foo.bar .foo вернул итератор...
> А в линзах всё ОК будет, если по типам сойдётся.
Что имеется в виду? Что будет делать ФП-аналог кода "this.foo.bar", который будет работать с линзами, если foo возвращает некий аналог итератора?
ИЧ
ну не знаю, backpropagation например достаточно императивное понятие?
не понятно как нейронки связанны с языками
AG
Если я верно помню, там только в одну сторону связь: легко из профунктора сделать монаду. Обратное не вспоминается. Что бы погуглить?
Т8
звучит как будто у вас там что-то типа стрелок вместо монад
стрелка == лямбда?
AG
Т-34 85
стрелка == лямбда?
функции можно считать вырожденным случаем стрелок да
AT
Ок, сформулирую по-другому
> Если в цепочке
...
> А в линзах всё ОК будет, если по типам сойдётся.
Что имеется в виду? Что будет делать ФП-аналог кода "this.foo.bar", который будет работать с линзами, если foo возвращает некий аналог итератора?
> Если в цепочке
this.foo.bar .foo вернул итератор...
> А в линзах всё ОК будет, если по типам сойдётся.
Что имеется в виду? Что будет делать ФП-аналог кода "this.foo.bar", который будет работать с линзами, если foo возвращает некий аналог итератора?
Если
this.foo - это traversl, то .bar будет "применяться" к каждому элементу, по понятным причинам.AT
Т-34 85
стрелка == лямбда?
Нет, это те стрелки, которые в ТК.
AG
не совсем в тк, но рядом да
MM
Если
this.foo - это traversl, то .bar будет "применяться" к каждому элементу, по понятным причинам.Так понятно, спасибо
AT
Так понятно, спасибо
Не забудьте только ещё и про prisms, folds, setters и iso. 😉
AG
еще решетки и калейдоскопы