花角

我的文章
我的憎恶，渐渐的，他是现实。
2023-08-22
杨白劳。永别了，理工。
2023-06-16
结。 / 匹配子 —— Ruby 的类型论，实现参数多态和交换律、结合律（三）
2023-06-16
Ruby 实现多态，用匹配子来理解类型理论——类型论（二）
2023-06-16
[翻译稿]对于习惯于愉快、正确地听音乐的我们来说，不愉快、不合理的东西才是必要的
2023-03-14
B站BV号作为文件名的大小写安全转换方法，ruby+python代码
2023-02-17
PUELLA.rb！巨大数在工程上的应用 #1
2023-02-15