文章列表
Koka入门③：效果系统、效果处理、自定义控制流
效果系统有三好，轻量好学易推导（指类型推导）.
2026-08-03 5 0
比较编程①：enum与ADT的真相，以及广义代数数据类型
文学讨论里有「比较文学」，神学讨论里有「比较神学」，编程语言，也该有「比较编程」. 从一个疑惑开始 rust enum Shape { Ci
2026-07-31 4 0
Koka入门①：副作用与错误处理史、现代语言困境、安装
一个关于错误处理与副作用管理的技术考古，还有现代语言的困境. 为什么我说 Koka 来自未来 这绝非宣传口号，或者吸引人眼球的标题. 少数带
2026-07-27 24 0
专为 Coder 设计的 Win 系统美化、优化教程
专为 Coder 设计的 Win 系统美化、优化教程 何为专为？ 实用性、效率性 盲目地美观性 稳定性，高度修改系统文件、设定的排除 易用
2026-07-02 77 0
跨越千年、超脱遗忘传达的爱意——《夏末盛开的花》
先恭喜我歌单里终于有了几首韩语歌，其次抛出一个前瞻性的结论：一款消解了我对一个国家偏见的游戏。 第一次在霹雳霹雳看到官方的宣传 PV 就把我
2026-02-23 29 0
新岛夕作品女角色锐评排行
写在开头
2026-02-12 34 0
Made with ❤️ by Arimura Sena