从鳄鱼蛋看 λ 演算
这篇文章是 Bret Victor 所著 《Alligator Eggs!》 的中文译文,已联系原作者取得授权。Bret Victor 在 2007 到 2011 年期间在苹果负责人机界面开发,参与设计了最初的 iPad,他的个人网站非常精美,文章也及其友好。更多关于他的信息可以参考维基百科上 Bret Victor 的词条。
这篇文章是 Bret Victor 所著 《Alligator Eggs!》 的中文译文,已联系原作者取得授权。Bret Victor 在 2007 到 2011 年期间在苹果负责人机界面开发,参与设计了最初的 iPad,他的个人网站非常精美,文章也及其友好。更多关于他的信息可以参考维基百科上 Bret Victor 的词条。
这篇文章是 Aditya Bhargava 所著 《Functors, Applicatives, And Monads In Pictures》 的中文译文,已联系原作者取得授权。另一版本的中文译文由 题叶 翻译,可在此处查看。
@Fallenwood 选修的 《Foundations of Programming Languages》 课程让我看的很手痒。整理一下基本的 Typeclass 和 Monad,准备跟随贵科步伐重新学习 Haskell。
这篇文章主要基于王垠早年发过的文章《怎样写一个解释器》,我参考了 Racket 版本的 R2 解释器,并用 Haskell 实现 H2Lang 的简单解释器,较 R2 的功能做了一点改进。