а можно ссыль?

Какие сейчас тенденции в функциональном программировании? Есть ли у фреймворков место в ФП? Об этом и многом другом мы поговорим с преподавателем Hexlet Алексеем Пироговым и Fellow Developer Александром Граниным.

Что обсудим:
- Место фреймворков в функциональном программировании
- Чем scenario-oriented интерфейсы отличаются от API-oriented
- Немного о Haskell: паттерны и подходы

Онлайн-встреча пройдёт в формате прямого эфира 7 мая в 19:00 по московскому времени на youtube-канале Хекслета. Ссылка на трансляцию: https://youtu.be/vN3Ac0dwXdk

спасибо

@astynax ты по троллингу соскучился?)

Да, раз я тут - я всё пытаюсь написать FAM-инстансы для arrow (arrow a r) r (по аналогии с Cont)

Та не, надеюсь просто мило поболтать

Про фри монады будет что-нибудь?)

я сумел написать pure только при наличии ArrowApply arrow =>. Но из доков следует, что этот констрейнт в некотором смысле эквивалентен монаде

Думаю, что Александр про них не забудет :)

А если вдруг забудет - нужно будет напомнить!

Напомню :)

так что вопрос - есть ли некий промежуточный класс между Arrow и ArrowApply, который порождал бы только Applicative?

для какого-то определения слова "порождать"

аппликатив сам по себе вроде бы никак не является более слабой монадой, это ток в хаскеле так

только часть аппликатива - pure

не очень пока это понял

ведь есть же типы с инстансом аппликатива, но для которых нет инстанса монады

если я правильно понял, уже стрелки достаточно для аппликатива:

instance Arrow a => Applicative (ArrowMonad a)

вот тебе профункторные варианты (мне надо было написать для линз кое-что)

ppure :: forall p a. Category p => Profunctor p => p a a
ppure = arr identity

pap :: forall p a b x. Category p => Strong p => p x (a -> b) -> p x a -> p x b
pap f x = dimap dup (uncurry identity) (f *** x)

в base подглядывать можно? там есть
  pure x = ArrowMonad (arr (const x))