在Haskell中，有两种主要的约简策略：内部约简(也称为正则序)和外部约简(也称为应用序)。
内部约简(正则序)：内部约简是一种惰性求值策略，其中表达式不会被立即求值，直到它们被需要为止。在内部约简中，参数在传递给函数之前不会被求值，这意味着函数参数的求值顺序不确定，可能会延迟甚至不会被求值。内部约简通常用于非严格函数语言，如Haskell。
外部约简(应用序)：外部约简是一种严格求值策略，其中函数参数在调用函数之前会被立即求值。在外部约简中，参数在传递给函数之前会被求值，并且函数参数的求值顺序是确定的。外部约简通常用于严格函数语言，如Scheme。
总的来说，Haskell采用内部约简策略，这意味着函数参数的求值是惰性的，只有在需要时才会被求值。这种惰性求值策略使得Haskell能够实现高效的延迟计算和懒加载等特性。
免责声明：本站发布的内容（图片、视频和文字）以原创、转载和分享为主，文章观点不代表本网站立场，如果涉及侵权请联系站长邮箱：is@yisu.com进行举报，并提供相关证据，一经查实，将立刻删除涉嫌侵权内容。
