Haskell：使用 -XFlexibleContexts 来允许这样做？

Question

我的代码如下：

calcstep ::Integral a => a -> a
calcstep  n = calcstep2 n 0

calcstep2 :: Integral (Integral a, Integral b) => a -> b -> a
calcstep2 1 k = k
calcstep2 n k | odd n = calcstep2 (n/2) (k+1)
              | otherwise = calcstep2 (n*3+1) (k+1)

错误如下：

非类型变量参数

在约束中：积分（Integral a, Integral b）

（使用 -XFlexibleContexts 允许这样做）

在 `calcstep2' 的类型签名中： calcstep2 :: Integral (Integral a, Integral b) => a -> b -> a

失败，已加载模块：无。

这是什么意思？我该如何解决？

Answer 1

在ghci 中，您可以像这样设置FlexibleContexts：

:set -XFlexibleContexts

在源文件的开头，你应该使用：

{-# LANGUAGE FlexibleContexts #-}

在 GHC 手册中，您可以找到有关 using language extensions 的更多信息。

无论如何，我认为 Chris 的回答更接近你真正想要的。

Answer 2

上下文Integral (Integral a, Integral b) 可能不是您想要的。您更有可能想要(Integral a, Integral b)，如

calcstep ::Integral a => a -> a
calcstep  n = calcstep2 n 0

calcstep2 :: (Integral a, Integral b) => a -> b -> a
calcstep2 1 k = k
calcstep2 n k | odd n     = calcstep2 (n `div` 2) (k+1)
              | otherwise = calcstep2 (n * 3 + 1) (k+1)