Question

嗨伙计们，有人可以解释我作为一个haskell noob运营商：

(.) :: (b -> c) -> (a -> b) -> a -> c
(<$>) :: Functor f => (a -> b) -> f a -> f b
(<*>) :: Applicative f => f (a -> b) -> f a -> f b

做什么？当我看到签名时，我什么都不知道，只需要一些简单易懂的解释就可以帮助我。

Answer 1

我也在学习Haskell，我的建议是查看Learn You a Haskell for Great Good!，更准确地说：

for (.)阅读Function composition
代表<$>和<*>阅读Applicative functors

本质上：

(.)是功能组合：如果您有g :: a -> b和f :: b -> c，那么f . g基本上是f(g(x))：首先使用g在a上获取b，然后在f上使用b获取c
<$>接受a并返回b的函数，以及包含 a的仿函数，以及它返回一个包含 b的仿函数。因此<$>与fmap :: (a -> b) -> f a -> f b
<*>带有一个包含的函数，该函数带有a并返回b，以及包含<的仿函数/ em> a，它会返回包含 a b的仿函数。所以<*>种提取来自仿函数的函数并将其应用于仿函数内的参数，最后将结果返回到仿函数中

注意您在书籍章节中找到的解释比我上面的尝试更好

Answer 2

也许你通过例子学习（就像我一样），所以这里有一些你可以在GHCI中搞砸的简单。

(.) - Function Composition 
-- (.) :: (b -> c) -> (a -> b) -> a -> c
> f = (+1)
> g = (*2)
> a = f . g
> a 0
1 -- f( g( 0 ) ) or (0 * 2) + 1
> b = g . f
> b 0
2 -- g( f( 0 ) ) or (0 + 1) * 2


<$> - Functor
-- (<$>) :: Functor f => (a -> b) -> f a -> f b
> a = (*2)
> b = Just 4
> a <$> b
Just 8


<*> - Applicative
-- (<*>) :: Applicative f => f (a -> b) -> f a -> f b
> a = Just (*2)
> b = Just 4
> a <*> b
Just 8

我希望有所帮助。

Answer 3

(.)运算符组成函数。例如，\x -> f (g x)与f . g相同。您可以为任意功能执行此操作，例如\x -> f (g (h x))等于f . g . h。

<$>和<*>运算符未在功能方面定义。它们的功能取决于它们应用的实际类型f。 <$>运算符是fmap库中Functor函数的替代运算符。例如，对于Maybe类型，它采用左操作数，并且仅在右操作数为Just值时才应用它。因此，为了找出这些运算符的作用，请查看特定类型的实现。

Answer 4

虽然<$>和<*>的常见用法因为它们在类型类中而变得模糊，但您通常可以阅读该信息的haddock文档。如果您很难找到函数所属的模块，请使用Hoogle。

Answer 5

我是Haskell的新手，有时Haskell类型的声明也让我感到困惑。

一开始很容易迷失，因为教程说Capitalization命名约定通常用于类型声明，而camelCase命名约定通常用于变量。

实际上，这属于Haskell中的一种更高级的技术，可能是多态性。只需将f，a和b视为某些类型变量 - 处理类型的变量。 Haskell中的class不是像OOP那样的对象，而是type。因此Functor f表示类型f属于class Functor，依此类推。

如果您将这些字母a，b，c替换为某种类型 - 名为 instance - 例如String Int Char。这将是有道理的：

(.) :: (Int -> Char) -> (String -> Int) -> String -> Char
(<$>) :: Functor Maybe => (String -> Int) -> Maybe String -> Maybe Int -- type `Maybe` belongs to class `Functor`
...

需要知道什么＆lt; *＆gt; ＆LT; $＆GT;和。在哈斯克尔做

5 个答案: