gpt4 book ai didi

haskell - 消失的应用程序?

转载 作者:行者123 更新时间:2023-12-05 01:24:03 25 4
gpt4 key购买 nike

<分区>

在 Applicative 实例未指定的情况下,我对 pure 的行为有点困惑。在此示例中,我希望结果值为应用上下文中的数字 5:

Prelude> pure 5 :: Applicative t => t Integer
5
Prelude> :t it
it :: Integer

相反,它只是一个普通的整数。

如果指定了应用实例,如下例所示,返回值是应用类型,如我所料:

Prelude> pure 5 :: Maybe Integer
Just 5
Prelude> :t it
it :: Maybe Integer

为什么 Applicative t 在第一个例子中似乎消失了?

似乎未指定的应用上下文正在被剥离以进行最终评估以打印到输出,但我想知道这方面的规则是什么。

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