#TypeScript

从 OOP 协逆变到类型极性、负递归和可终止性

OOP 中的协变和逆变 万能动物医生与狗医生 说到协变和逆变，有面向对象编程基础的读者会容易想到在 Java 这类传统语言中对子类型关系的

耗时两年，我做了这个极致个人化的全栈博客系统

是什么 RomiChan 是一个前后端一体的个人门户系统，前端负责展示和交互，后端提供 API 和 SSR 服务，整体部署在单一可执行程序

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

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

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

MoeHub——个人向的角色收藏与管理网站系统