使用 GHC Haskell 进行编译时断言？

Question

来自 C++，我习惯于能够构建简单形式的编译时断言，如果通过使用模板元未满足某些简单条件（例如，通过简单的代数表达式），我可以在编译期间发出警告或错误-programming 和/或 cpp(1)

例如，如果我想确保我的程序仅在 Int 至少具有一定的值时才编译minBound/maxBound 范围，或者，如果从 Int64 到 Int 的无损（如可逆）转换当前编译目标是可能的。这可以通过某些 GHC Haskell 扩展实现吗？我的第一个猜测是使用 TH。是否还有其他 GHC 设施可用于此目的？

Answer 1

且稍微简化的版本：

{-# LANGUAGE TemplateHaskell #-}
module StaticAssert (staticAssert) where

import Control.Monad (unless)
import Language.Haskell.TH (report)

staticAssert cond mesg = do
    unless cond $ report True $ "Compile time assertion failed: " ++ mesg
    return [] -- No need to make a dummy declaration

以下是 Anthony 的示例的通用 ：

{-# LANGUAGE TemplateHaskell #-}
import StaticAssert

$(staticAssert False "Not enough waffles")

Answer 2

使用 TH 来实现这一点并不算太糟糕。下面是一个模块，它将所需的断言定义为残留声明的一部分：

{-# LANGUAGE TemplateHaskell #-}
module CompileTimeWarning where
import Control.Monad (unless)
import Data.Int (Int64)
import Language.Haskell.TH

assertInt = let test = fromIntegral (maxBound::Int) == (maxBound::Int64)
            in do unless test $ report True "Int is not safe!"
                  n <- newName "assertion"
                  e <- fmap NormalB [|()|]
                  return $ [FunD n [Clause [] e []]]

使用断言涉及一个顶级声明，该声明除了断言之外不用于任何其他用途：

{-# LANGUAGE TemplateHaskell #-}
import CompileTimeWarning
$(assertInt)