文章列表

一次艺术表演——我用四门函数式语言写了个全栈项目

Koka入门③：效果系统、效果处理、自定义控制流

效果系统有三好，轻量好学易推导（指类型推导）.

比较编程①：enum与ADT的真相，以及广义代数数据类型

文学讨论里有「比较文学」，神学讨论里有「比较神学」，编程语言，也该有「比较编程」. 从一个疑惑开始 rust enum Shape { Ci

Koka入门①：副作用与错误处理史、现代语言困境、安装

一个关于错误处理与副作用管理的技术考古，还有现代语言的困境. 为什么我说 Koka 来自未来 这绝非宣传口号，或者吸引人眼球的标题. 少数带

专为 Coder 设计的 Win 系统美化、优化教程

专为 Coder 设计的 Win 系统美化、优化教程 何为专为？ 实用性、效率性 盲目地美观性 稳定性，高度修改系统文件、设定的排除 易用

跨越千年、超脱遗忘传达的爱意——《夏末盛开的花》

先恭喜我歌单里终于有了几首韩语歌，其次抛出一个前瞻性的结论：一款消解了我对一个国家偏见的游戏。 第一次在霹雳霹雳看到官方的宣传 PV 就把我