Phi*_*hil 20 compiler-construction optimization haskell ghc
因此,由于纯代码和不纯代码之间的明确分离,纯函数式语言具有自己的潜在类别.我已经看到了几个在Haskell中实现的功能,如嵌套数据并行或流融合.
我的问题是,在可行性/简单性方面但尚未实现的Haskell或多或少独特的其他改进/优化是什么？(我主要关心GHC,但也喜欢听别人的声音)
Car*_*arl 26
我喜欢在GHC中看到的一个优化是超级编译.然而,在GHC的不久的将来,这似乎不太可能,因为它是整个程序的优化,GHC非常关注于一次编译模块.
基本上,超级编译在编译时尽可能多地执行程序.它自然地包含内联,砍伐森林,专业化和许多其他技术.早期的实验结果很有希望,但这是一个非常昂贵的过程.很难看出它是一个实用的优化,但这个概念非常棒.