gpt4 book ai didi

haskell - 为什么 3 和 x(分配给 3)在 Haskell 中具有不同的推断类型?

转载 作者:行者123 更新时间:2023-12-04 16:48:21 24 4
gpt4 key购买 nike

<分区>

Haskell 中的类型推断有一点学习曲线(至少可以这么说!)。开始学习它的一个好方法是使用简单的示例。因此,以下是类型推断的“hello world”。

考虑以下示例:

Prelude> :t 3
3 :: (Num t) => t
Prelude> let x = 3
Prelude> :t x
x :: Integer

问题是:为什么 3 和 x 有不同的类型?

链接摘要:

完整故事请阅读下面的答案;这里只是一个链接摘要:

  1. 默认的 GHC 类型:Haskell Report section4.3.4
  2. GHCi 的扩展类型默认值:Using GHCi section2.4.5
  3. 单态限制:Haskellwiki

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