近期博文
一次艺术表演——我用四门函数式语言写了个全栈项目
2026-08-07 14 0
Koka入门③：效果系统、效果处理、自定义控制流
效果系统有三好，轻量好学易推导（指类型推导）.
2026-08-03 16 0
比较编程①：enum与ADT的真相，以及广义代数数据类型
文学讨论里有「比较文学」，神学讨论里有「比较神学」，编程语言，也该有「比较编程」. 从一个疑惑开始 rust enum Shape { Ci
2026-07-31 11 0
Koka入门①：副作用与错误处理史、现代语言困境、安装
一个关于错误处理与副作用管理的技术考古，还有现代语言的困境. 为什么我说 Koka 来自未来 这绝非宣传口号，或者吸引人眼球的标题. 少数带
2026-07-27 38 0
近期动态
拉黑煞笔 `vditor`，wcnm 说好的源码模式结果还特么教我做事，一堆破智能行为害得我编辑个 MarkDown 费劲死了，写不来项目就别jb写挂羊头卖狗肉，下周开始将 RomiBlog 的 MD 编辑器支持迁移为听话的 milkdown，望周知。...
2026-01-22 22:12
终究是如梦一场了
又集齐了一块新岛夕拼图，不过新岛夕这回是真不按套路出牌啊，居然学起隔壁口三才了（想想罚抄和星之终途结局共同点）
梦境轮回到挺有 LB 即视感的，而当所有伏笔回收的一瞬间确实太震撼了，一切都说得通但就是没想到结局最后没的是男主，尽管这种震撼并未持续多久就发现故事已然结束，实在是太快了...
2025-02-04 15:47
近期视频
最近在听
近期项目
sena-music
TypeScript
0
1
GNU General Public License v3.0
更新于 2026-08-18
romi-nest
Rust
A powerful website system — blog, lists, notes, api, and more. Powered by Axum + Angular
3
0
GNU General Public License v3.0
更新于 2026-08-17
webagent
TypeScript
A lightweight, DSL-driven AI agent for file operations, code modification, and command execution — designed for web and client-side AI assistants.
2
0
GNU General Public License v3.0
更新于 2026-08-17
GardenMansion
PureScript
Full functional languages: used in Elm, PureScript, Idris2, Haskell, Dhall... A full‑stack, self‑hosted management platform for shared flats.
2
0
GNU General Public License v3.0
更新于 2026-08-10
Made with ❤️ by Arimura Sena