学一学函数式编程（

每一个工业语言都必须有的代码注释 hhhh

从这里开始，我们开始开从实数拓展到有理数 命题一：实数包括有理数 实数定理 R\RR 包含所有有理数 Q\mathbb QQ，即存在单射 f:Q↦Rf:\mathbb{Q}\mapsto \Rf:Q↦R，使得对 ∀x,y∈Q\for...

Dune 的生态地位和 CMake 比较接近。

OCaml 据传是 Jane Street 内部使用的语言，看看怎么个事儿（

Byte-Pair Encoding 算法的实现。基于 Stanford CS336 完成

HKU 申请南洋理工交换的历程～

去南洋理工交换一个学期，记录一下签证之类的东西～

实数 我们定义实数 R\RR 是一个集合，上面有两个操作： 加法 +:R×R↦R,(x,y)↦x+y+:\R\times\R\mapsto\R, (x,y)\mapsto x+y+:R×R↦R,(x,y)↦x+y 乘法 ⋅:R×R↦R,(x,y...

与 C++ 里的 std::atomic<T> 类似的作用