时间戳

首页 > 解决方案 > 由于使用“打印”而产生的模棱两可的类型变量“a0”

haskell - 由于使用“打印”而产生的模棱两可的类型变量“a0”

问题描述

标签： haskellfunctional-programming

解决方案

正如错误消息所说，CTypeF需要一个参数。CTypeF不是类型，而是例如CTypeF ()orCTypeF Int或CTypeF [(String, Double)]are。

这种情况类似于print Nothing并试图通过添加来解决它(Nothing :: Maybe)。您需要指定Maybe ()或Maybe Int或...

尝试

my_test = do
    let c0 = CIntF :: CTypeF ()
    print c0

推荐阅读