码迷,mamicode.com
首页 > Web开发 > 详细

[JS Compose] 7. Ensure failsafe combination using monoids

时间:2019-02-24 21:24:46      阅读:149      评论:0      收藏:0      [点我收藏+]

标签:with   because   for   nat   fail   log   div   als   false   

monoids is a semi-group with a neutral element. A semigroup, it does not have an element to return so it‘s not a safe operation, whereas with the monoids we could take as many as we possibly want, even none, and still return us back something. It‘s a perfectly safe operation here that we can reduce as many of them as we‘d like.

 

For example to Sum():

const Sum = x => 
({
   concat: o => Sum(x + o.x) 
})

 

‘Zero‘ neutral element for Sum semi-group, so Sum is monoids.

2 + 0 //2
1 + 0 //1
x + 0 //x

 

So we can define an interface for Sum:

Sum.empty = () => Sum(0)

And if we concat Sum.empty to anything, it won‘t affect the result:

Sum.empty().concat(Sum(1)) // Sum(1)

 

 

The same as All():

All.empty = () => All(true)

// true && true -->  true
// false && true -->  false 

 

But for the First(), we can not find a neutal element for it, because it just throw away the rest value only keep the first value and first value can be undefined.

[1,2,3] && undefined --> 1
undefined && [1,2,3]  --> error

 

Monodis also looks like reduce:

const sum = xs =>
  xs.reduce((acc, x) => acc + x, 0)

console.log(sum([1,2,3])) //6

const all = xs =>
  xs.reduce((acc, x) => acc && x, true)

console.log(all([true, false])) //false

const first = xs =>
  xs.reduce((acc, x) => acc)

console.log(first([1,2,3]))
console.log(first([])) //Error

 

[JS Compose] 7. Ensure failsafe combination using monoids

标签:with   because   for   nat   fail   log   div   als   false   

原文地址:https://www.cnblogs.com/Answer1215/p/6184565.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!