模式匹配元组不是完全懒惰的吗？

正确，元组模式匹配不是懒惰的。事实上，除了两个值得注意的例外，没有模式匹配是 lazy。粗略地讲，模式匹配的“要点”是强制对比赛的监督者进行评估。

当然，模式匹配可能出现在懒惰意味着永远不会执行的地方；例如，

const 3 (case loop of (_, _) -> "hi!")


不会循环。但这并不是因为匹配是惰性的——而是因为它const是惰性的并且从不导致执行匹配。你的let例子是类似的，因为语义let是它绑定的变量在评估let.

两个值得注意的例外之一是特殊的模式修饰符，~; 放在~模式之前表示使匹配变得惰性，因此向编译器声明修改后的模式始终匹配。（如果它不匹配，一旦强制绑定变量之一，您就会崩溃，而不是通常的下一个模式行为！）因此，对您的解决方法fix是：

fix (rec -> ( ~(a1, a2) -> (3, 7)) rec)


当然，rec不需要明确的名称。你也可以这样写：

fix ( ~(a1, a2) -> (3, 7))


另一个值得注意的例外是新类型匹配，这里不相关。

• 
  @DarrenSmith, no, tuples could not be defined with `newtype`. Only single constructor, *single field* types can. And whether they *should* be depends on context (usually yes, sometimes no).