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