#技术

耗时两年，我做了这个极致个人化的全栈博客系统

是什么 RomiChan 是一个前后端一体的个人门户系统，前端负责展示和交互，后端提供 API 和 SSR 服务，整体部署在单一可执行程序

一次艺术表演——我用四门函数式语言写了个全栈项目

Koka入门③：效果系统、效果处理、自定义控制流

效果系统有三好，轻量好学易推导（指类型推导）.

比较编程①：enum与ADT的真相，以及广义代数数据类型

文学讨论里有「比较文学」，神学讨论里有「比较神学」，编程语言，也该有「比较编程」. 从一个疑惑开始 rust enum Shape { Ci

Koka入门①：副作用与错误处理史、现代语言困境、安装

一个关于错误处理与副作用管理的技术考古，还有现代语言的困境. 为什么我说 Koka 来自未来 这绝非宣传口号，或者吸引人眼球的标题. 少数带

Scala3 观察日志1：类、类型类、对象、隐式实例、函数式

似乎既支持完整的 OOP 与完整的 FP 是件很酷的事，但实际上...会被混乱不堪的写法吓晕 读前须知 本文适合至少对函数式编程或 Has