主页

从鳄鱼蛋看 λ 演算

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

右线性语言

正则集、正则式,右线性文法,正则表达式与有限自动机之间的图示关系,右线性语言与有限自动机之间的关系。

三种实用 Monad

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

图解 Functor, Applicative 和 Monad

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

来看几种基本 Monad

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

形式语言

这个寒假遇到的一些问题让我想起之前形式语言与自动机的内容,程序执行的本质是状态的变化,我觉得有必要将这部分理论捡起来,需要的时候方便自己回忆。

用 Haskell 实现解释器

这篇文章主要基于王垠早年发过的文章《怎样写一个解释器》,我参考了 Racket 版本的 R2 解释器,并用 Haskell 实现 H2Lang 的简单解释器,较 R2 的功能做了一点改进。