#FP
共 4 篇文章
从 OOP 协逆变到类型极性、负递归和可终止性
OOP 中的协变和逆变 万能动物医生与狗医生 说到协变和逆变，有面向对象编程基础的读者会容易想到在 Java 这类传统语言中对子类型关系的
2026-10-06 10 0
Koka入门③：效果系统、效果处理、自定义控制流
效果系统有三好，轻量好学易推导（指类型推导）.
2026-08-03 30 0
比较编程①：enum与ADT的真相，以及广义代数数据类型
文学讨论里有「比较文学」，神学讨论里有「比较神学」，编程语言，也该有「比较编程」. 从一个疑惑开始 rust enum Shape { Ci
2026-07-31 17 0
Scala3 观察日志1：类、类型类、对象、隐式实例、函数式
似乎既支持完整的 OOP 与完整的 FP 是件很酷的事，但实际上...会被混乱不堪的写法吓晕 读前须知 本文适合至少对函数式编程或 Has
2026-01-22 31 1
Made with ❤️ by Arimura Sena