Haskell-没有自定义数据类型函数的（Num（Integer->Integer））实例

Question

我有一个包含函数的自定义数据类型Flist。在下一步中，我想使用apply中的Flist myFunctions。

注意：这是一个练习，所以我必须使用自定义列表

data Flist a = Nil | Cons (a -> a) (Flist a)

myFunctions :: Flist (Integer -> Integer)
myFunctions = (Cons (\y x -> x + 1) ( Cons (\x w -> w + 1) (Nil)))

apply :: Flist (a -> a) -> b -> b
apply Nil b         = b
apply (f `Cons` xs) b = apply xs (f b)

调用应该是这样的：apply myFunctions 1returns3

我得到的错误：

• 没有实例（Num（整数-

问题：我看不出我的错误。为什么我没有对函数应用足够的参数？我传递一个函数的Flist，该函数获取一个Int并返回一个Int。另外，传递另一个Int，应该就是它。这里还缺什么？

Answer 1

你的代码有几个问题。

你有

data Flist a = Nil | Cons (a -> a) (Flist a)
--         ^               ^^^^^^

如果你有一个函数f:：Integer-

事实上，一个Flist（整数-

这意味着myFunctions:：Flist（整数-

然后是应用:: Flist（a-