近期博文
从 OOP 协逆变到类型极性、负递归和可终止性
OOP 中的协变和逆变 万能动物医生与狗医生 说到协变和逆变，有面向对象编程基础的读者会容易想到在 Java 这类传统语言中对子类型关系的
2026-10-06 8 0
耗时两年，我做了这个极致个人化的全栈博客系统
是什么 RomiChan 是一个前后端一体的个人门户系统，前端负责展示和交互，后端提供 API 和 SSR 服务，整体部署在单一可执行程序
2026-09-02 46 0
一次艺术表演——我用四门函数式语言写了个全栈项目
2026-08-07 44 0
Koka入门③：效果系统、效果处理、自定义控制流
效果系统有三好，轻量好学易推导（指类型推导）.
2026-08-03 29 0
近期动态
拉黑煞笔 `vditor`，wcnm 说好的源码模式结果还特么教我做事，一堆破智能行为害得我编辑个 MarkDown 费劲死了，写不来项目就别jb写挂羊头卖狗肉，下周开始将 RomiBlog 的 MD 编辑器支持迁移为听话的 milkdown，望周知。...
2026-01-22 22:12
终究是如梦一场了
又集齐了一块新岛夕拼图，不过新岛夕这回是真不按套路出牌啊，居然学起隔壁口三才了（想想罚抄和星之终途结局共同点）
梦境轮回到挺有 LB 即视感的，而当所有伏笔回收的一瞬间确实太震撼了，一切都说得通但就是没想到结局最后没的是男主，尽管这种震撼并未持续多久就发现故事已然结束，实在是太快了...
2025-02-04 15:47
最近在听
近期项目
monadbeat
TypeScript
0
0
更新于 2026-10-09
TuneCLI
Swift
Pure Console Rendering Modern lightweight Music Player Built With Swift.
1
0
GNU General Public License v3.0
更新于 2026-10-09
romi-nest
Rust
A powerful website system — blog, lists, notes, api, and more. Powered by Axum + Angular
8
0
GNU General Public License v3.0
更新于 2026-09-27
webagent
TypeScript
A lightweight, DSL-driven AI agent for file operations, code modification, and command execution — designed for web and client-side AI assistants.
5
0
GNU General Public License v3.0
更新于 2026-09-26
Made with ❤️ by Arimura Sena