Evgeniy T

ктонибудь, кто читал статью De Goes-а про [Onion](http://degoes.net/articles/modern-fp-part-2) разобрался как там подразумевается имплементировать интерпретаторы которые должн...

@odomontois есть какой то общееизвестный список pros/cons для free applicatives vs tagless final? или примерно тоже самое что free monad vs TF? интересно для случая когда над...

подскажите по тулингу (в emacs или в atom), есть ли где такой функционал?: - выделяем выражение и получаем автодополнение функций оперирующих с его типом и доступных в текущем...

Добрый день. может кто подсказать какие расширения принято использовать под емакс, чтобы все было удобно, кроме haskell-mode (и исключая совсем общие штуки за рамками haskell...

я правильно понял? - т.е если у нас есть cтек монад типа как в хаскелле: newtype M a = M (ReaderT Environment (StateT State IO) a) deriving (Functor, Applicative, Monad)...

@notxcain в cats чатике еще фигурировала по этой теме такая ссылка https://github.com/ProjectSeptemberInc/freek#onion-stack-of-monadstraverses ты не знаешь что это за проект т...

глянь последнии доклады автора https://www.reddit.com/r/ScalaConferenceVideos/search/?q=Fury&restrict_sr=1

Всем привет. нет ли тут кого отважного? - готового вот прямо сейчас записаться в качестве интервьюруемого для подкаста scalalaz? (важно чтобы было, что рассказать)

@offtop - у кого-нибудь github в safari 10 на macOS sierra тормозит? вот так https://dl.dropboxusercontent.com/u/11846276/Screen%20Shot%202016-10-06%20at%2012.34.34.png

ни кто случаем не подскажет какой cloudwatch logback appender лучше брать?

это аналог https://hackage.haskell.org/package/base-4.10.0.0/docs/Control-Concurrent-MVar.html ?

выложишь куданибудь gist? - под Cofree уже как то уже намного тяжелее придумать практические кейсы чем под free

теперь не надо читать папер чтобы понять суть ))) а есть какие то известные ограничения этого подхода?

а новостей с полей добавления HKT в раст нет никаких? (там раньше были вроде такие движения)

а тк трансформер он тоже type->type то это может быть так заэнкоженно?

это ведь нат. трансформация между функторами там или я, что то не понял?

продолжу тему из скайпа - объясните мне в двух словах, что такое Finally tagless ?

вот тут было https://www.youtube.com/watch?v=7xSfLPD6tiQ

еще тут https://news.ycombinator.com/item?id=15738550

у автора нет планов добавить туда альфу-scalaz 8?