Haskell中的约简策略有何不同

在Haskell中，有两种主要的约简策略：内部约简(也称为正则序)和外部约简(也称为应用序)。

1. 内部约简(正则序)：内部约简是一种惰性求值策略，其中表达式不会被立即求值，直到它们被需要为止。在内部约简中，参数在传递给函数之前不会被求值，这意味着函数参数的求值顺序不确定，可能会延迟甚至不会被求值。内部约简通常用于非严格函数语言，如Haskell。

2. 外部约简(应用序)：外部约简是一种严格求值策略，其中函数参数在调用函数之前会被立即求值。在外部约简中，参数在传递给函数之前会被求值，并且函数参数的求值顺序是确定的。外部约简通常用于严格函数语言，如Scheme。

总的来说，Haskell采用内部约简策略，这意味着函数参数的求值是惰性的，只有在需要时才会被求值。这种惰性求值策略使得Haskell能够实现高效的延迟计算和懒加载等特性。