在Haskell中键入`a-> mb`是什么意思？
[英]What mean type `a -> m b` in Haskell?
问题描述
示例-Haskell基本模块中的功能runKleisli
newtype Kleisli m a b = Kleisli { runKleisli :: a -> m b }
这意味着runKleisli具有1个类型为a参数，并且必须返回具有1个参数b函数m ？
1 个解决方案
解决方案1
5 已采纳 2016-10-25 18:57:16
这意味着m是一种类型的种 * -> * ; 也就是说， m是一个接受单个参数的类型构造函数，例如Maybe或Either String 。 当实例化Kleisli并自己执行替换时，您可以看到它是如何工作的。
例如，考虑类似Kleisli Maybe String Integer东西。 runKleisli的替换类型为runKleisli String -> Maybe Integer ，您可以看到m是如何用作类型构造函数的。
有关Haskell中种类的更多信息，请参见Haskell中种类“ *”到底是什么？ 。
haskell中有一个`ma - >（a - > mb） - > ma`函数类型吗？
[英]Is there a `m a -> (a -> m b) -> m a` function type in haskell?
这在 Haskell homerge 中是什么意思 :: Ord b => (a -> b) -> [a] -> [a] -> [a]
[英]what does this mean in Haskell homerge :: Ord b => (a -> b) -> [a] -> [a] -> [a]
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.
相关问题
Haskell中a-> b Bool类型是什么意思？
Haskell 中的“f (a -> b)”类型签名是什么意思？
haskell中有一个`ma - >（a - > mb） - > ma`函数类型吗？
a : -> b 在 Haskell 中是什么意思？
Haskell中“+”的类型是什么意思
这在 Haskell homerge 中是什么意思 :: Ord b => (a -> b) -> [a] -> [a] -> [a]
什么： - >表示haskell类型规范
Haskell：f a的实际含义是什么？
Haskell：类型签名完全是什么意思？
Haskell-Ord类型是什么意思？
相关标签