Zero Calorie Drink Shop

简单的说单子(Monad)就是自函子范畴上的一个幺半群 👀 你说这个谁懂啊

笔记 6
最详细的一集，因为我要讲解这部分（摊手
但是读得很开心！这章真是让我受益匪浅啊！

笔记5

Practical Foundations for Programming Languages 是 Robert Harper 的一本书，而这是我写的笔记 4

Practical Foundations for Programming Languages 是 Robert Harper 的一本书，而这是我写的笔记 3

陪伴我 4 年的及腰长发其实都到臀部了今日卒，谨以此发文对其表达深切的悼念（）

久闻 Zig 语言大名，作为一众底层语言的有力竞争者，Zig 被常常认为是 better C。Zig 自己也说，“Zig 与 C 竞争，而不是依赖于它”。前天用 Zig 写了一个简单的命令行跨平台贪吃蛇游戏，也算是体验了一下 Zig 的有趣功能。

Practical Foundations for Programming Languages 是 Robert Harper 的一本书，而这是我写的笔记 2

A blogging guide, built for minimalists who aren’t quite as nerdy.

Practical Foundations for Programming Languages 是 Robert Harper 的一本书，而这是我写的笔记