Programming

关于基于表达式的编程语言的一些思考

3 minute read

最近学 Go 语言又想起之前看过的一个 talk,presenter 说他几乎不用 else 关键字。因为一般情况下,if 语句的其中一个 branch 会比较短(比如处理特殊情况),这样可以在这个 branch 结束后直接从函数返回,后续的代码就不需要进行缩进了,如 func fact(n int) int {...

从零开始的 λ 演算

15 minute read

这是我在看完 PyCon 2019 演讲「Lambda Calculus from the Ground Up」之后做的一个文字版,原视频在 https://youtu.be/pkCLMl0e_0k。另见官网中的 介绍,这里提供一个翻译。

Rust + WebAssembly: 最近点对问题

8 minute read

先放 链接。这个项目一开始是算法课的一个上机作业,平面上的最近点对问题。这是一个使用分治法的计算几何学问题,具体的算法就不在这里解释了,这篇博客主要讲讲 Rust 和 WebAssembly。