我为Haskell的内置exists列表数据类型编写了量化函数forall和none。在许多情况下,这似乎比Prelude/Data.List的any和all有效得多。我天真地怀疑,这种性能是由于any和all使用Θ(n)折叠实现的。因为我对哈斯克尔比较陌生,我想我一定是弄错了,否则会有一个很好的理由造成这种现象。-- | Determines whether any element of the structure satisfies the predicate.
any :: Foldable t => (a -> Bool) -> t
我有一个现有的Haskell函数,它使用GHC API从模块动态加载编译后的代码。它基于博客文章中的代码。代码在GHC 7.0中运行良好,但必须稍微修改才能在GHC 7.2中编译,因为GHC API发生了变化。_ <- GHC.setSessionDynFlags dynflags-- but throws an error in