fp Haskell programming fpcomplete.com — The world's first commercial Haskell IDE and deployment platform

fp categories Haskell strictlypositive.org — страница Конора Макбрайда, автора Epigram

sneezy.cs.nott.ac.uk — termly seminar on functional programming and related topics
strictlypositive.org — Differential Calculus with Datatypes
strictlypositive.org — cheat sheets

Coq fp programming seas.harvard.edu — верификатор нативного кода на Coq, или зачем в продакшене зависимые типы

fp Agda

"Agda ... a dependently typed functional programming language" I think it depends on the number of your PhDs.

via twitter.com

math fp programming CS nponeccop.livejournal.com — Почему в HN нет GC
sorhed.livejournal.com — Procedure Typing for Scala
thedeemon.livejournal.com — Про Йонеду и про должения

code fp Agda

_∘_ : {A : Set}{B : A -> Set}{C : (x : A) -> B x -> Set}
      (f : {x : A}(y : B x) -> C x y)(g : (x : A) -> B x)
      (x : A) -> C x (g x)
(f ∘ g) x = f (g x)

Agda - язык простой и красивый

math fp ? afp.sourceforge.net — The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle

кто-нибудь знает что-нибудь похожее для Agda? Coq? Epigram?

math fp categories Agda web.student.chalmers.se github.com gitorious.org — category theory in Agda

fp categories nponeccop.livejournal.com — elementary level объяснения зависимых типов: for instance, let C be a small category and consider the notion of a C-diagram in Set, i.e. a functor F : C → Set

fp Haskell CS blog.sigfpe.com — стрелки как профункторы

C++ fp programming channel9.msdn.com — Herb Sutter and Erik Meijer: Perspectives on C++

fp CS codecommit.com — Hindley-Milner for dummies, via ivan-ghandhi.livejournal.com

fp programming CS dl.dropbox.com — подборка книг по программированию и CS, via xeno-by.livejournal.com

fp programming existentialtype.wordpress.com — критика монад как механизма организации потока выполнения. местами интересное обсуждение в комментариях

fp categories the categorical dual of a hippomorphism should be a giraffomorphism

math fp CS codedot.livejournal.com — шикарная работа по лямбда-исчислению, в свободном доступе и на русском

fp programming controlflow.tumblr.com — эмуляция классов типов в F#

fp Haskell programming netsuperbrain.com — this blog post show that execution in a lazy language is both understandable and predictable

Scala fp programming robots.thoughtbot.com

math fp categories programming CS lambda-the-ultimate.org — is there any hope to enforce safety policies for dynamic interaction by static typing?