考虑这个功能:
f as = if length as > 100 then length as else 100
由于函数是纯粹的,因此很明显两个调用的长度都是相同的.我的问题是Haskell优化器将上面的代码转换成以下代码吗？
f as =
let l = length as
in if l > 100 then l else 100
如果是,那么哪个级别设置启用它？如果没有,那么为什么呢？在这种情况下,内存浪费不能成为本答案中解释的原因,因为一旦函数执行完成,引入的变量就会被释放.
请注意,由于本地范围,这不是此问题的重复,因此可能会得到完全不同的答案.