Make Python Functional Again: 函数扩展
构建一个更函数式的 Python 的尝试：扩展 Python 函数。
构建一个更函数式的 Python 的尝试：扩展 Python 函数。
你说得对，但是单子是——后面忘了。同时，逐步发觉 Rust Try 的真相。
让程序员开心的 StackOverflow 问题，抄了又抄。
Python is not a functional programming language.
Rust 语言的踩坑记录。
What is Curry-Howard Correspondence and how does the type system of Coq implement it.
Rust 语言的一些奇技淫巧。
某汉语 Rust 教程没能正确告诉你的内容。
用 TypeScript 的类型系统描述一个函数的柯里化过程。
在 TypeScript 的标签联合（Tagged Union）上类型安全地动态派发。
TUNA 讲座 How NOT to Rust 的简单笔记，作为种草 Rust 的纪念。
程设课的 C++ 笔记。上半学期是语法及 STL，下半学期是算法基础。