近期博文
一次艺术表演——我用四门函数式语言写了个全栈项目
Koka入门③：效果系统、效果处理、自定义控制流
效果系统有三好，轻量好学易推导（指类型推导）.
比较编程①：enum与ADT的真相，以及广义代数数据类型
文学讨论里有「比较文学」，神学讨论里有「比较神学」，编程语言，也该有「比较编程」. 从一个疑惑开始 rust enum Shape { Ci
Koka入门①：副作用与错误处理史、现代语言困境、安装
一个关于错误处理与副作用管理的技术考古，还有现代语言的困境. 为什么我说 Koka 来自未来 这绝非宣传口号，或者吸引人眼球的标题. 少数带
近期动态
近期视频
最近在听
近期项目
A lightweight, DSL-driven AI agent for file operations, code modification, and command execution — designed for web and client-side AI assistants.
A powerful website system — blog, lists, notes, api, and more. Powered by Axum + Angular
Full functional languages: used in Elm, PureScript, Idris2, Haskell, Dhall... A full‑stack, self‑hosted management platform for shared flats.
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.
Made with ❤️ by Arimura Sena