gpt4 book ai didi

haskell - 如何获取特定类型类实例的多态函数类型?

转载 作者:行者123 更新时间:2023-12-03 14:57:43 26 4
gpt4 key购买 nike

例如,键入 :t ap在 GHCi 中给出了结果

ap :: Monad m => m (a -> b) -> m a -> m b

如果我已经知道我要使用的 Monad 实例是 ((->) r) ,如何查询 ap的类型对于那个特定的例子?

最佳答案

Lazersmoke作为评论说你可以使用TypeApplications GHC 8.0 中引入的扩展。

在 GHCi 中:

λ > :set -XTypeApplications
λ > import Control.Monad
λ > :t ap @((->) _)
ap @((->) _) :: (t -> a -> b) -> (t -> a) -> t -> b

关于haskell - 如何获取特定类型类实例的多态函数类型?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42999199/

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