对SPECIALIZE pragma的误解

Question

SPECIALIZE编译指示的目的是创建更具体的函数版本。

我有一个功能

adaptBlocks :: Int -> BlocksField a -> Maybe (BlocksField a)

我把它专门化如下：

{-# SPECIALIZE NOINLINE
    adaptBlocks :: Int -> BlocksField Element -> Maybe (BlocksField Element) #-}

但是编译器给了我这个令人困惑的警告：

SPECIALISE pragma for non-overloaded function ‘adaptBlocks’

出了什么问题？

Answer 1

专业化适用于有界多态，其中a等类型变量受到约束，例如

foo :: (Eq a, Num a) => a -> a -> a
foo x y | x == y    = 2*x
        | otherwise = 3*y 

此处，专门化a ~ Int允许编译器内联Int版(==),(*)，从而提高效率。请注意，此类函数由上下文(Eq a, Num a)提供。

在您的情况下，没有约束a的上下文，因此无法执行此优化。在您的所有多态代码无法使用(*)或Int上的任何其他数字函数之后，因为为了编译，您的代码必须处理任何类型a，包括那些不是数字的类型