关键概念是类型和计算，发现微博和轻博都不适合记技术内容

haskell关键概念是类型和计算

发现微博和轻博都不适合记技术内容,还是移到这个博客来算了。

在研究yesod的持久框架时再次体会到haskell社区对这个语言的类型系统的极度信赖和依赖

而计算从最抽象的角度来看又可以理解为在做类型的转换（将入参转换为结果）