GP
да, используй линзы
Size: a a a
2016 May 12
GP
тут зависит от целей) но я из своего опыта скажу главное не шейплез линзы) и не потому что они страшные или шейплез страшный а потому что они медленные
GP
компиляция экспоненциально растет
GP
а остальное используй; тут дело вкуса и зависимостей
SB
AG
линзы это всего лишь морфизмы между профункторами с силой, what's the problem?
VS
Я тоже так могу: "Линейное уравнение продуцирует интеграл Пуассона. К тому же аксиома концентрирует неопределенный интеграл." :D (стырено отсюда, если кто недавно подключился к интернету: https://yandex.ru/referats )
AT
линза с силой это сфинктер =)
λƒ
аппликативный сфинктер
NK
> @clayrat
линзы это всего лишь морфизмы между профункторами с силой, what's the problem?
Мне иногда кажется, что это такая манера общения)
https://i.gyazo.com/a92a1a28508d06729b0f81fcbb8c34b6.png
линзы это всего лишь морфизмы между профункторами с силой, what's the problem?
Мне иногда кажется, что это такая манера общения)
https://i.gyazo.com/a92a1a28508d06729b0f81fcbb8c34b6.png
AG
линза с силой это тавтология ;)
AG
если в основе просто профунктор - изоморфизм, с силой - линза, с выбором - призма
AG
а вообще это была шутка на тему monad is just a monoid in the category of endofunctors 🤓
NK
вот, откуда оно пошло
NK
=)
NK
многие говорят в таком стиле
NK
“это всего лишь))" я про это
AG
на самом деле эта фраза тоже шутка, всерьез так никто не объяснял
AG
скорее всего взято из учебника макклейна