#技术
共 3 篇文章
比较编程①：enum与ADT的真相，以及广义代数数据类型
文学讨论里有「比较文学」，神学讨论里有「比较神学」，编程语言，也该有「比较编程」. 从一个疑惑开始 rust enum Shape { Ci
2026-07-31 9 0
Koka入门①：副作用与错误处理史、现代语言困境、安装
一个关于错误处理与副作用管理的技术考古，还有现代语言的困境. 为什么我说 Koka 来自未来 这绝非宣传口号，或者吸引人眼球的标题. 少数带
2026-07-27 28 0
Git笔记
命令别名 bash cd ~/ vi .bashrc 添加以下内容 bash 友好的日志显示 alias git-log='git log
2023-06-16 62 0
Made with ❤️ by Arimura Sena