向 Elm 1.0 再进一步：让编译器“构造即正确”

📋 概述

Evan Czaplicki 发布 Elm 0.19.3，并给出通往 Elm 1.0 的粗略路线图。本次发布聚焦于让编译器 “correct by construction”（构造即正确）：用更精确的类型消除整类 bug。例如把 Email、UserName 这类数据建模为独立类型而非裸 String，从类型上禁止混用，且零运行时开销；又如在检测模块循环时，用 MinimalCycle 类型从构造上保证环永远非空，用模块边界保证只渲染线性环。作者在重构中意外定位到一个长期潜伏的细微 bug。