Size: a a a

Compiler Development

2020 April 01

AT

Alexander Tchitchigin in Compiler Development
polunin.ai
это называется properties
Nope.
источник

ИЧ

Илья Чистяков in Compiler Development
Alexander Tchitchigin
Линзы - это как .foo в ООП в выражениях типа this.foo.bar.baz op= quux. Только "возвращать" может не один объект, а итератор объектов, объект-или-ничего и т.п. Давате, сделайте то же самое в ООП хотя бы как встроенную в язык фичу, а не библиотеку. 😂
можно ещё упростить? непонятно)
источник

p

polunin.ai in Compiler Development
yes
источник

p

polunin.ai in Compiler Development
ну то определение которые вы написали
источник

ИЧ

Илья Чистяков in Compiler Development
Alexander Tchitchigin
Вы никогда не думали, что неправильно понимаете шаблоны? "Банду четырёх" вообще читали? Не говоря уже про Александера... 😉
читал и практиковал, когда на шарпе активно кодил
источник

AT

Alexander Tchitchigin in Compiler Development
Если в цепочке this.foo.bar .foo вернул итератор - что будет?
источник

p

polunin.ai in Compiler Development
Alexander Tchitchigin
Если в цепочке this.foo.bar .foo вернул итератор - что будет?
вернется итератор
источник

M

MaxGraey in Compiler Development
polunin.ai
ну язык сделан по фану, смысла обсуждать не вижу
А что еще можно сделать 1го апреля? =)
источник

p

polunin.ai in Compiler Development
Alexander Tchitchigin
Линзы - это как .foo в ООП в выражениях типа this.foo.bar.baz op= quux. Только "возвращать" может не один объект, а итератор объектов, объект-или-ничего и т.п. Давате, сделайте то же самое в ООП хотя бы как встроенную в язык фичу, а не библиотеку. 😂
конкретно здесь будет ошибка компиляции
источник

AG

Alex Gryzlov in Compiler Development
Михаил Бахтерев
А где бы об этих модулях и примерах использования почитать?
https://bartoszmilewski.com/2016/01/21/tambara-modules/
используются они в общем то для того чтобы описать зоопарк линз в одних алгебраических терминах
источник

AT

Alexander Tchitchigin in Compiler Development
polunin.ai
вернется итератор
Какой итератор? Чего? Откуда у произвольного итератора метод .bar???
источник

p

polunin.ai in Compiler Development
Alexander Tchitchigin
Какой итератор? Чего? Откуда у произвольного итератора метод .bar???
источник

AT

Alexander Tchitchigin in Compiler Development
polunin.ai
конкретно здесь будет ошибка компиляции
Вот об том и речь. А в линзах всё ОК будет, если по типам сойдётся.
источник

p

polunin.ai in Compiler Development
бред какой-то
источник

МБ

Михаил Бахтерев in Compiler Development
Имеется в виду профункторная оптика?

Меня больше заинтересовал вопрос о связи с монадами, эффектами и прочим таким
источник

AG

Alex Gryzlov in Compiler Development
Михаил Бахтерев
Имеется в виду профункторная оптика?

Меня больше заинтересовал вопрос о связи с монадами, эффектами и прочим таким
она самая
источник

AT

Alexander Tchitchigin in Compiler Development
polunin.ai
бред какой-то
А то! Profunctor optics - они такие! 😂
источник

MM

Mikhail Maltsev in Compiler Development
Alexander Tchitchigin
Вот об том и речь. А в линзах всё ОК будет, если по типам сойдётся.
А у какого объекта будет вызван метод bar?
источник

AT

Alexander Tchitchigin in Compiler Development
Mikhail Maltsev
А у какого объекта будет вызван метод bar?
Ни у какого. В ФП же нет объектов и методов. 😃
источник

AG

Alex Gryzlov in Compiler Development
Михаил Бахтерев
Имеется в виду профункторная оптика?

Меня больше заинтересовал вопрос о связи с монадами, эффектами и прочим таким
ну связь с монадами у профункторов известная: Monad ~= ArrowApply
источник