用 Haskell 写 GTK 应用（上）：Adwaita 与 Elm 架构

📋 概述

这是“用 Haskell 写 GTK 应用”系列第一篇，目标是做一个待办事项应用，技术栈为 Haskell、GTK 4 与 Adwaita。Adwaita 是 GNOME 的组件库与设计语言，把 GNOME 在无障碍与风格上的全部决定（HIG）编码其中，支持响应式设计，并在桌面切换浅色/深色主题时自动重新着色。文章用 haskell-gi 从 GTK 库自动生成 Haskell 绑定，从一个空窗口写起，并引入 Elm 架构（Model-View-Update）来驾驭 GTK 的命令式特性：Model 是状态，View 把状态变成界面，Update 依据 Message 更新状态并返回副作用 Effects。