编辑:使用较新JavaScript功能的规范方法是-
const identity = x =>
x
const omap = (f = identity, o = {}) =>
Object.fromEntries(
Object.entries(o).map(([ k, v ]) =>
[ k, f(v) ]
)
)
其中o是某个对象,f是映射函数。或者我们可以说,给定一个a->b的函数和一个值为a的对象,生成一个值类型为b的对象。作为伪类型签名-
// omap : (a -> b, { a }) -> { b }
最初的答案是为了演示一个强大的组合子mapReduce,它允许我们以不同的方式思考我们的转换
m、 映射函数–让您有机会在…r、 reduce函数–此函数将累加器与映射元素的结果组合
直观地说,mapReduce创建了一个新的reduce,我们可以直接插入Array.prototype.reduce中。但更重要的是,我们可以通过使用对象幺半群、object.assign和{}来简单地实现我们的对象函子实现omap。
常量标识=x=>x(x)常量mapReduce=(m,r)=>(a,x)=>r(a,m(x))常量omap=(f=身份,o={})=>对象.键(o)减少(mapReduce(k=>({[k]:f(o[k])}),对象分配), {})常量平方=x=>x×x常量数据={a:1,b:2,c:3}console.log(omap(方形,数据))//{a:1,b:4,c:9}
请注意,我们实际需要编写的程序的唯一部分是映射实现本身——
k => ({ [k]: f (o[k]) })
也就是说,给定已知对象o和某个键k,构造一个对象,其计算属性k是对键的值o[k]调用f的结果。
如果我们首先抽象oreduce,我们就可以一窥mapReduce的测序潜力
// oreduce : (string * a -> string * b, b, { a }) -> { b }
const oreduce = (f = identity, r = null, o = {}) =>
Object
.keys (o)
.reduce
( mapReduce
( k => [ k, o[k] ]
, f
)
, r
)
// omap : (a -> b, {a}) -> {b}
const omap = (f = identity, o = {}) =>
oreduce
( mapReduce
( ([ k, v ]) =>
({ [k]: f (v) })
, Object.assign
)
, {}
, o
)
一切都是一样的,但现在可以在更高级别上定义omap。当然,新的Object.entries让这看起来很愚蠢,但练习对学习者来说仍然很重要。
你不会在这里看到mapReduce的全部潜力,但我分享这个答案,因为看到它可以应用到多少地方很有趣。如果您对它的派生方式和其他有用的方式感兴趣,请查看此答案。