A kind explanation to Monad(Haskell)
August 24, 2024
几乎是每个接触 Haskell 的朋友的必然，我们会尝试对 Monad 给出一个解释，不为别的，只是因为 Monad 在 Haskell 中避无可避的重要性，让我们不得不对这么做
Type Theory
一份抽象的类型抽象指北
August 17, 2024
内存本非数，类型亦无形。编译不报错，运行未必行。
程序设计常常涉及类型的抽象。你是否在一些库的文档中看过各种类型，却觉得它们过于抽象？动辄几十几百个成员的枚举类型，总是报错的类型约束，永远设计不出的 trait，以及程序运行时无尽的 panic……看完今天的介绍，不说你是醍醐灌顶，至少也算得上是毫无收获。
...Subtyping variance and its application
June 5, 2024
子类型型变及其应用
...