gpt4 book ai didi

function - 在 GHCi 中,为什么函数箭头 `:kind (->)` 的类型包含问号 `(->)::?? -> ? -> *` ?

转载 作者:行者123 更新时间:2023-12-02 16:06:52 25 4
gpt4 key购买 nike

Possible Duplicate:
Haskell Weird Kinds: Kind of (->) is ?? -> ? -> *

在GHCi(版本7.0.2)中,如果我询问函数类型的种类,结果有问号:

Prelude> :kind (->)
(->) :: ?? -> ? -> *

为什么类型包含问号而不仅仅是星号 * -> * -> * ?问号是什么意思?为什么其他类型只使用星号?

Prelude> :kind (,)
(,) :: * -> * -> *

最佳答案

??? 类型指的是 GHC 扩展,特别是未装箱的类型。 http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes有一个图表显示扩展类型 ? (所有可能的类型)、# (未装箱类型)、?? (装箱或普通未装箱)之间的关系types — “#* 的最小上界”), (#) (未装箱的元组,只能少量使用的上下文)。 (标准类型 * 指的是普通装箱类型。)

关于function - 在 GHCi 中,为什么函数箭头 `:kind (->)` 的类型包含问号 `(->)::?? -> ? -> *` ?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5359707/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com