[JS Compose] 5. Create types with Semigroups
An introduction to concatting items via the formal Semi-group interface. Semi-groups are simply a type with a concat method that are associative. We define three semigroup instances and see them in action.
A semigroup is a type with a concat method. Let's see if we have a string A, we can concat that with the string B. String is the semigroup here because it has a concat method. If we log this out here, we shall see the results AB and there we are.
"a".concat("b").concat("c"); //"abc" "a".concat("b".concat("c")); //"abc"
We can also define our own semi-group:
const Sum = x => ({ x, // we need to export x, so we can access it concat: o => Sum(o.x + x), // o -> Sum(x) toString: () => `Sum(${x})` }); const res = Sum(1).concat(Sum(2)); console.log(res.toString()); // Sum(3)
const All = x => ({ x, concat: o => All(o.x && x), toString: ()=> `All(${x})` }); const res = All(true).concat(All(false)); console.log(res.toString()); // All(false)
const First = x => ({ x, concat: o => First(x), toString: () => `First(${x})` }); const res = First(true).concat(First(false)); console.log(res.toString()); // First(true)
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步