Functional

Прекрасная подборка материала для функциональщиков, спасибо ivan-gandhi

http://ivan-gandhi.livejournal.com/3221619.html

Functional Programming in a Stateful World
Edward Kmett: Categories of Structures in Haskell
Roman Cheplyaka: Announcing lambda prover
specs2 matchers ref
Sigfpe. Data and Codata
Zraffer. Functors in one gist
From Object Algebras to Finally Tagless Interpreters by oleksandrmanzyuk
Co-Yoneda Lemma by oleksandrmanzyuk
Monad Genome (me)
Okmij. Continuations.
Okmij. Generators.
Kmett. Free monads 4<
Milewski. Parametricity
Tonsky. FiraCode, code fonts
Runarorama, Interpreter (revisited)
stackoverflow: coyoneda via coroutines
Wadler. Theorems 4 free

Free Applicative Functors
F* tutorial
Free Monads are Simple
Runar, Free Monads and the Yoneda Lemma
Chlipala, Certified Programming with Dependent Types
git: total contributions per person

http://ivan-gandhi.livejournal.com/3221619.html

Начиная с лекции про то, как применять функциональщину при создании десктопных/мобильных приложений, отягощенных развесистым UI

https://speakerdeck.com/mchakravarty/functional-programming-in-a-stateful-world

Продолжая демонстрацией разницы в решении expression problem между объектно-ориентированным подходом и функциональным

https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-object-algebras-to-finally-tagless-interpreters-2/

И заканчивая достаточно объемным трудом по теме верификации и сертификации программного кода

http://adam.chlipala.net/cpdt/cpdt.pdf

Очень много интересного и познавательного. Вот только где столько времени взять на усвоение.

original post http://vasnake.blogspot.com/2015/06/functional.html