#Haskell

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

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

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

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

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