2.2 求值策略

文档摘要

2.2 求值策略 2.2 求值策略：函数式计算的呼吸节律与时间契约倘若把函数式编程比作一座精密运转的钟表，那么类型系统是它的齿轮咬合精度，不可变性是游丝的张力恒定，而求值策略（Evaluation Strategy）——正是这座钟表的擒纵机构。它不显山露水，却决定着每一滴计算之“滴答”何时落下、以何种力度落下、甚至是否落下；它不参与语义定义，却深刻塑造着程序的行为轮廓、资源轨迹与时空拓扑。在第二章“基础原理与执行机制”的宏大图景中，本节并非技术细节的堆砌，而是一次对计算本质的时间性契约的深度勘探——我们追问的不是“程序如何运行”，而是“程序在何时、以何种因果秩序展开其意义”。这绝非一个仅关乎性能优化的工程权衡问题。当Haskell用构造出一个永远不求值的表达式却仍能通过类型检查；