Dhz's Blog

Hey, this is dhz.

"Theorem Proof" in Haskell

类型即命题,程序则证明

Programs are Proofs! It sounds really weird that program are proofs, but this is where it gets really fun. Think about the types in the simple typed language: type ::= primitive | function | ( t...

DP and Recursion

A little thought about Lambda Calculus

Functional or imperative ? — DP and Recursion From the point of view of mathematics, DP and recursion are doing the same thing. More precisely, they are different program implementations of same m...

持剑者心伤

以世界之大,再大的事,也是小事。 以人心之小,再小的事,也是大事。

不值一提的书评——《持剑者心伤》 许久未读过书,上一次读得追溯到一年多前,我依稀记得是阿加莎的《无人生还》。 开始并不觉着这本书如何, 甚至第一部分的 “普通教育刀法!”, 让我看着菊花一紧,头皮发麻。 看完却很喜欢这本书传达的态度, 小人物也要燃烧, 血冷了, 日子就真的到头了 约摸几周前和一w姓好友吃饭, 他在饭桌上说他想回国创业, 说他想要有八位数的年收入, 说人这一生不能甘...

我不劝退,我就是退

数学给了我深色的床单,我却用眼泪将它哭浅

认真投决定命运的硬币,却不知道最后要去哪里。 数学万金油? 如果计算机是一块石头那数学就是一块金子。为什么是这样? 很多选择数学系的人在上大学之前都听过类似的话,我也一样。有人说数学大佬转行叫“猛虎下山”,“数学是基础,学好了数学以后学别的都很容易,有优势”,以此鼓动学生在本科去学数学,而后再转金融或计算机等领域,我想这种言论是不大负责任的。 也许是因为数学系里最聪明...

My First Post

Hello World, Hello Blog

Hey 这是我的第一篇博客。