4.2.1.1 映射保持结构

文档摘要

4.2.1.1 映射保持结构你有没有在深夜调试一个看似简单的操作，却眼睁睁看着数据结构“塌方”——原本嵌套三层的，经过一次后，编译器报错如雪崩：？你翻遍文档，发现确实存在，但类型推导卡死在第 7 行；你尝试手动标注泛型，结果又触发了；你祭出打印中间态，却发现和在语义上天差地别，而你的业务逻辑正依赖于后者——那个被 map “吃掉”的外层容器，它本不该消失。这不是类型系统的刁难。这是你在无意识中，亲手撕裂了函子最根本的契约：映射必须保持结构。一、不是所有“转换”都叫 map：一场静默的结构谋杀我们太习惯把当作“对里面的东西做点什么”的快捷键。 → 对每个元素调用； → 若为，则返回，否则； → 若为，则返回，否则原样透传。