3

我在一本书中读过，点击函数（也称为K-Combinator）的函数签名如下：

tap :: (a -> *) -> a -> a

“这个函数接受一个输入对象 a 和一个对 a 执行某些操作的函数。它使用提供的对象运行给定的函数，然后返回该对象。”

  1. 有人可以帮我解释函数签名中星号（*）的含义吗？
  2. 下面的实现是否正确？
  3. 如果这三种实现都正确，那么什么时候应该使用哪一种？有什么例子吗？

实施1：

const tap = fn => a => { fn(a); return a; };

tap((it) => console.log(it))(10); //10

实施2：

const tap = a => fn => { fn(a); return a; }; 

tap(10)((it) => console.log(it)); //10

实施3：

const tap = (a, fn) => {fn(a); return a; };

tap(10, (it) => console.log(it)); //10
4

1 回答 1

6

这看起来很像Ramda 定义。*里面可能有错误。（免责声明：我是 Ramda 的作者之一。）它可能应该阅读

// tap :: (a -> b) -> a -> a

像你的第一个实现：

const tap = fn => a => { fn(a); return a; };

或 Ramda 的版本：

const tap = curry((fn, a) => { fn(a); return a; });

匹配该签名并且主要在调试上下文中很有用恕我直言。我用它来临时将日志记录语句引入功能管道1：

// :: Map String User
const users = fetchUsersFromSomewhere();

// :: [Comment] -> [Number]  
const userRatingForComments = R.pipe(
    R.pluck('username'),     // [Comment] -> [String]
    R.tap(console.log),      // for debugging, need to include `bind` in browser envs
//  ^^^^^^^^^^^^^^^^^^      
    R.map(R.propOf(users)),  // [String] -> [User]
    R.pluck('rating')        // [User] -> [Number]
);

不过，这真的不是 K 组合子。

1此代码示例来自我在 Ramda 上的一篇旧文章。

于 2016-07-27T15:06:14.840 回答