gpt4 book ai didi

haskell - 为什么函数的类型从 GHCi 中的 monad 出来时会发生变化

转载 作者:行者123 更新时间:2023-12-04 01:52:45 25 4
gpt4 key购买 nike

<分区>

当函数从 monad 中出来时,函数的类型会发生一些变化。

在 GHCI 中:

> :t map
map :: (a -> b) -> [a] -> [b]
> a <- return map
> :t a
a :: (GHC.Prim.Any -> GHC.Prim.Any)
-> [GHC.Prim.Any] -> [GHC.Prim.Any]

此更改使得难以将函数存储在更高级别的类型中。

这里发生了什么,我可以让它不发生吗?

(这不也违反了 monad 法则之一吗?)

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