фримонадных алгебраических эффектов? Или там какие-то сложности возникают?
В пакете free это есть. И в полисеми
полисеми это же вроде вообще что-то свое на низкоуровневых примитивах GHC было?
Это Вы наверное eff имеете в виду? На делимитед континуэйшенах
в полисеми чет какой-то такой себе church-encoding
Вот этот вот форалл там это и есть Чёрч энкодинг, всё верно
а ему почему-то даже Functor ну нужен
Обсуждают сегодня