标签：: 函数式编程

2017

Code

从鳄鱼蛋看 λ 演算

这篇文章是 Bret Victor 所著 《Alligator Eggs!》 的中文译文，已联系原作者取得授权。Bret Victor 在 2007 到 2011 年期间在苹果负责人机界面开发，参与设计了最初的 iPad，他的个人网站非常精美，文章也及其友好。更多关于他的信息可以参考维基百科上 Bret Victor 的词条。

Code

三种实用 Monad

这篇文章是 Aditya Bhargava 所著 《Three Useful Monads》 的中文译文，已联系原作者取得授权。

Code

图解 Functor, Applicative 和 Monad

这篇文章是 Aditya Bhargava 所著 《Functors, Applicatives, And Monads In Pictures》 的中文译文，已联系原作者取得授权。另一版本的中文译文由 题叶 翻译，可在此处查看。

Code

来看几种基本 Monad

@Fallenwood 选修的 《Foundations of Programming Languages》 课程让我看的很手痒。整理一下基本的 Typeclass 和 Monad，准备跟随贵科步伐重新学习 Haskell。

2016

Language

Fix in Haskell

There’re many interesting features in Haskell, here I want to introduce and analyse the Fixed-point combinator, which spent me several hours understanding but only scratched the surface.