近期博文
一次艺术表演——我用四门函数式语言写了个全栈项目
2026-08-07 1 0
Koka入门③：效果系统、效果处理、自定义控制流
效果系统有三好，轻量好学易推导（指类型推导）.
2026-08-03 10 0
比较编程①：enum与ADT的真相，以及广义代数数据类型
文学讨论里有「比较文学」，神学讨论里有「比较神学」，编程语言，也该有「比较编程」. 从一个疑惑开始 rust enum Shape { Ci
2026-07-31 7 0
Koka入门①：副作用与错误处理史、现代语言困境、安装
一个关于错误处理与副作用管理的技术考古，还有现代语言的困境. 为什么我说 Koka 来自未来 这绝非宣传口号，或者吸引人眼球的标题. 少数带
2026-07-27 28 0
近期动态
拉黑煞笔 `vditor`，wcnm 说好的源码模式结果还特么教我做事，一堆破智能行为害得我编辑个 MarkDown 费劲死了，写不来项目就别jb写挂羊头卖狗肉，下周开始将 RomiBlog 的 MD 编辑器支持迁移为听话的 milkdown，望周知。...
2026-01-22 22:12
终究是如梦一场了
又集齐了一块新岛夕拼图，不过新岛夕这回是真不按套路出牌啊，居然学起隔壁口三才了（想想罚抄和星之终途结局共同点）
梦境轮回到挺有 LB 即视感的，而当所有伏笔回收的一瞬间确实太震撼了，一切都说得通但就是没想到结局最后没的是男主，尽管这种震撼并未持续多久就发现故事已然结束，实在是太快了...
2025-02-04 15:47
近期视频
最近在听
近期项目
moonbot
MoonBit
MoonBot is a chatbot framework base on MoonBit which follow OneBot protocol.
1
0
更新于 2026-08-08
mopress
MoonBit
A modern documentation and general-purpose static site generator for the MoonBit ecosystem. Its design draws inspiration from both mdBook and Hakyll. At its core, MoPress uses an embedded DSL for declarative configuration and functional processing pipelines to express build workflows.
3
0
GNU General Public License v3.0
更新于 2026-08-08
lamuto
Svelte
Lamuto is a high and simple constructed-language
1
0
更新于 2026-08-08
sena-lang
Rust
A Modern Functional and Dependent Type Programming Language Base on Rust.
5
0
Other
更新于 2026-08-08
Made with ❤️ by Arimura Sena