javascript – 为什么我可以将函数传递给提升的R.divide?

前端之家收集整理的这篇文章主要介绍了javascript – 为什么我可以将函数传递给提升的R.divide?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
鉴于以下内容
var average = R.lift(R.divide)(R.sum,R.length)

为什么这可以作为平均点的免费实现?我不明白为什么我可以在它们是函数时传递R.sum和R.length,因此,我不能将提升的R.divide映射到函数R.sum和R.length上,这与以下示例不同:

var sum3 = R.curry(function(a,b,c) {return a + b + c;});
R.lift(sum3)(xs)(ys)(zs)

在上述情况下,xs,ys和zs中的值在非确定性上下文中求和,在这种情况下,将提升函数应用于给定计算上下文中的值.

进一步说明,我理解应用提升函数就像连续使用R.ap到每个参数.两行都评估相同的输出

R.ap(R.ap(R.ap([tern],[1,2,3]),[2,4,6]),[3,6,8])
R.lift(tern)([1,3],6],8])

检查文档说:

“lifts” a function of arity > 1 so that it may “map over” a list,Function or other object that satisfies the FantasyLand Apply spec.

至少对我来说,这似乎不是一个非常有用的描述.我正试图建立一个关于电梯使用的直觉.我希望有人可以提供.

解决方法

第一个很酷的事情是a – > b可以支持 map.是的,功能是仿函数

让我们考虑一下地图的类型:

map :: Functor f => (b -> c) -> f b -> f c

让我们替换Functor f => f with Array给我们一个具体的类型:

map :: (b -> c) -> Array b -> Array c

让我们替换Functor f =>这个时候可能还有:

map :: (b -> c) -> Maybe b -> Maybe c

相关性很明显.让我们替换Functor f => f使用a,a来测试二进制类型:

map :: (b -> c) -> Either a b -> Either a c

我们经常将a到b的函数类型表示为 – > b,但这真的只是功能a b的糖.让我们使用长格式并将上面的签名中的Either替换为Function:

map :: (b -> c) -> Function a b -> Function a c

因此,映射函数给我们一个函数,它将应用b – > c函数为原始函数的返回值.我们可以使用a – >重写签名. b糖:

map :: (b -> c) -> (a -> b) -> (a -> c)

注意什么? compose的类型是什么?

compose :: (b -> c) -> (a -> b) -> a -> c

所以compose只是专门用于Function类型的map!

第二个很酷的事情是a – > b可以支持ap.函数也是应用函子!这些被称为Fantasy Land规范中的Apply.

让我们考虑一下ap的类型:

ap :: Apply f => f (b -> c) -> f b -> f c

让我们替换Apply f => f与数组:

ap :: Array (b -> c) -> Array b -> Array c

现在,使用Either a:

ap :: Either a (b -> c) -> Either a b -> Either a c

现在,使用功能a:

ap :: Function a (b -> c) -> Function a b -> Function a c

什么是函数a(b – > c)?这有点令人困惑,因为我们混合了两种样式,但它是一个函数,它接受一个类型a的值并返回一个从b到c的函数.让我们用a – >重写b风格:

ap :: (a -> b -> c) -> (a -> b) -> (a -> c)

任何支持map和ap的类型都可以“解除”.我们来看看lift2

lift2 :: Apply f => (b -> c -> d) -> f b -> f c -> f d

请记住,函数a满足Apply的要求,因此我们可以替换Apply f => f与函数a:

lift2 :: (b -> c -> d) -> Function a b -> Function a c -> Function a d

哪个更清楚:

lift2 :: (b -> c -> d) -> (a -> b) -> (a -> c) -> (a -> d)

让我们重新审视您的初始表达:

//    average :: Number -> Number
const average = lift2(divide,sum,length);

平均值([6,7,8])有什么作用? a([6,8])给予a – > b函数(sum),产生b(21). a也给a – > c函数(长度),产生c(3).现在我们有了b和c,我们可以将它们提供给b – > c – > d函数(除)产生d(7),这是最终结果.

因此,因为Function类型可以支持map和ap,所以我们可以免费收敛(通过lift,lift2lift3).我实际上想从Ramda中移除converge,因为它没有必要.

请注意,我有意避免在此答案中使用R.lift.由于决定支持任何arity的功能,它具有无意义的类型签名和复杂的实现.另一方面,Sanctuary特定的提升功能具有清晰的类型签名和简单的实现.

原文链接:https://www.f2er.com/js/159139.html

猜你在找的JavaScript相关文章