将`apply`映射到函数列表

Question

了解一个Haskell演示了currying的映射：

*Main> let xs = map (*) [1..3]

xs现在等于[（1 *），（2 *），（3 *）]

按照Antal SZ的评论编辑纠正订单。

我们可以获得列表中的第一项，并应用3 - 返回3 * 1。

*Main> (xs !! 0) 3
3

但是，如何应用下面的foo将1应用于xs所有curried函数？

*Main> let foo = 1
*Main> map foo xs

<interactive>:160:5:
    Couldn't match expected type `(Integer -> Integer) -> b0'
                with actual type `Integer'
    In the first argument of `map', namely `foo'
    In the expression: map foo xs
    In an equation for `it': it = map foo xs

期望的输出：

[1, 2, 3]

Answer 1

使用($)函数...

Prelude> :t ($)
($) :: (a -> b) -> a -> b

......只传递第二个参数。

Prelude> let foo = 2
Prelude> map ($ foo) [(1*), (2*), (3*)]
[2,4,6]

Answer 2

你尝试过使用applicative functor吗？

import Control.Applicative

main = (*) <$> [1,2,3] <*> pure 1

<$>函数与中缀形式的fmap相同。 它有类型签名：

(<$>) :: Functor f => (a -> b) -> f a -> f b

<*>函数是$ （函数应用程序）的仿函数：

(<*>) :: Applicative f => f (a -> b) -> f a -> f b

pure函数类似于monad的return 。 它需要一个正常值并返回一个applicative functor：

pure :: Applicative f => a -> f a

因此，表达式(*) <$> [1,2,3] <*> pure 1类似于将(*)函数应用于[1,2,3]和pure 1所有值。 由于pure 1仅有一个值，因此相当于将列表中的每个项目乘以1以生成新的产品列表。

Answer 3

或者您可以使用匿名函数：

map (\x -> x foo) xs