主页

2017

大数据/分布式系统

HDFS 组织及工作

Apache Hadoop 是一款支持数据密集型分布式应用程序并以 Apache 2.0 许可协议发布的开源软件框架。它支持在商品硬件构建的大型集群上运行的应用程序。Hadoop 是根据谷歌公司发表的 MapReduce 和 Google 文件系统的论文自行实现而成。所有的 Hadoop 模块都有一个基本假设，即硬件故障是常见情况，应该由框架自动处理。

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。

计算机理论基础

形式语言

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

Code

用 Haskell 实现解释器

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