monoid

函数式编程中的 Monoid：简洁而强大的抽象

在函数式编程中，Monoid是一个既简单又强大的数学概念。它为我们提供了一种统一的方式来处理数据的组合和聚合操作。
Vitalia·2025-02-15 12:31

函数式编程基本概念理解一： Semigroup，Monoid

实践函数式编程有几个概念是抽象的，但也是基础的，能够正确的理解它们，决定着我们如何更好的使用函数式编程。本文以FP-TS为例描述下我对这些概念的理解。文中大写字符代表一个类型（一组值的集合），小写字符代表一个值。Semigroup（半群）Semigroup是指一个类型联合一个二元操作*，满足以下的规律：对于A中的任何a,b,通过该操作*得到的c也属于A,即a*b=c且a,b,c同属于类型A.该操作
jimson_ma·2023-12-25 07:03

Haskell Monoid(幺半群)的介绍

将"可交换性"添加到Monoid（CommutativeMonoid），你就有了可以并行执行的东西。随着摩尔定律的终结，并行计算
·2022-04-21 17:30

数论 代数 群论 范畴论 与 函数式编程 Haskell, Scala

群P常用术语Semigroup半群，Monoid幺半群，Group群，Latt
禅与计算机程序设计艺术·2022-02-10 15:59

Kotlin（十七）函数式编程<3>

(单子)Monad无非就是个自函子范畴上的幺半群（Monoid）百科上说：在范畴论中，函子（functor）是范畴间的一类映射，通俗地说，是范畴间的同态。
zcwfeng·2021-02-27 19:11

Monoid

什么是monoid一个monoid有如下构成1、一个类型A2、一个可结合的二元操作op，它接收两个参数然后返回相同类型的值，对于任何x:A，y:A，z:A来说，这两个操作是等价的：op(op(x,y),
吐思圈·2020-08-01 01:26

各种代数结构（抽象代数）总结，仿射空间和点的数学定义

整理自《离散数学》第三部分屈婉玲运算的封闭性是大前提：结合律->半群（Semigroup）+幺元->幺半群（Monoid）不是Monad∀a∃ea:e=e:a=a=>幺元唯一+逆元->群(Group)∀
SpaceKitt·2020-07-12 01:14

【函数式】Monads模式初探——Endofunctor

由三部分组成：一组元素对象一组态射态射组合（二元运算）如果这个范畴满足结合律，那么它是一个半群；如果半群满足幺元（单位元，identity），那么它是幺半群（Monoid）。因此，函子是将一个Mono
JasonDing·2020-04-11 23:53

理解 Monad --- 1

梳理这些概念：group、semigroup、monoid、functor、endofunctor、combinator、monad，并深入理解范畴论在函数式中的应用。
陈半仙儿·2020-04-02 14:37

函数式编程 - 有趣的Monoid（单位半群）

前言Monoid（中文：单位半群，又名：幺半群），一个来源于数学的概念；得益于它的抽象特性，Monoid在函数式编程中起着较为重大的作用。
Tangentw·2020-01-08 00:46

[Haskell] Monoid

classMonoidmwheremempty::mmappend::m->m->mmconcat::[m]->mmconcat=foldrmapendmempty其中m是一个具体类型（:km=*）。注：foldr定义为：foldr::(a->b->b)->b->[a]->bfoldrstepzero(x:xs)=stepx(foldrstepzeroxs)foldr_zero[]=zeroMon
何幻·2019-12-23 23:05

白monoid是monoid，白monoid非monoid

Monad有两种定义，一种是1个endofunctor+2个特殊的naturaltransformations，另外一种是一个Monoid。
贺刚·2019-11-05 03:35

睡前说：图灵机、幺半群、范畴，其它

先来个表格：封闭性结合律有幺元有逆元群(Group)有有有有幺半群(Monoid)有有有无半群(Semigroup)有有无无环(Loop)有无有有拟群(Quasigroup)有无无有原群(Magma)有无无无广群
LostAbaddon·2019-11-03 22:55

抽象代数入门（一）

一、群论幺半群(monoid)之前看老师讲的叫Abelianmonoid（阿贝尔幺半群），但是搜不到。
AugustMoore·2019-07-01 12:22

[译] 函数式 TypeScript

函数式编程不是关于Monad、Monoid和Zipper这些概念的，虽然它
文蔺·2016-09-29 00:00

Scalaz（34）－ Free ：算法－Interpretation

List[A]是个数据结构，它是生成A类型Monoid的最简单结构，因为我们可以用List的状态cons和Nil来分别代表Monoid的append和zero。
雪川大虫·2016-03-23 09:00

Scalaz（34）－ Free ：算法－Interpretation

List[A]是个数据结构，它是生成A类型Monoid的最简单结构，因为我们可以用List的状态cons和Nil来分别代表Monoid的append和zero。
TIGER_XC·2016-03-23 09:00

【Scala-ML】使用Scala构建机器学习工作流

对于有经验的Scala程序员而言，模型常常和monoid联系起来。mon
JasonDing·2016-03-19 20:54

【Scala-ML】使用Scala构建机器学习工作流

对于有经验的Scala程序员而言，模型常常和monoid联系起来。mon
JasonDing·2016-03-19 20:54

【Scala-ML】使用Scala构建机器学习工作流

对于有经验的Scala程序员而言，模型常常和monoid联系起来。mono
JasonDing1354·2016-03-19 20:19

【Scala-ML】使用Scala构建机器学习工作流

对于有经验的Scala程序员而言，模型常常和monoid联系起来。mono
JasonDing1354·2016-03-19 20:00

【Scala-ML】使用Scala构建机器学习工作流

对于有经验的Scala程序员而言，模型常常和monoid联系起来。mono
JasonDing1354·2016-03-19 20:00

【函数式】Monads模式初探——Endofunctor

由三部分组成：一组元素对象一组态射态射组合（二元运算）如果这个范畴满足结合律，那么它是一个半群；如果半群满足幺元（单位元，identity），那么它是幺半群（Monoid）。因此，函子是将一个Mono
JasonDing1354·2016-03-01 10:28

【函数式】Monads模式初探——Endofunctor

由三部分组成：一组元素对象一组态射态射组合（二元运算）如果这个范畴满足结合律，那么它是一个半群；如果半群满足幺元（单位元，identity），那么它是幺半群（Monoid）。因此，函子是将一个Mono
JasonDing1354·2016-03-01 10:00

【函数式】Monads模式初探——Endofunctor

由三部分组成：一组元素对象一组态射态射组合（二元运算）如果这个范畴满足结合律，那么它是一个半群；如果半群满足幺元（单位元，identity），那么它是幺半群（Monoid）。因此，函子是将一个Mono
JasonDing1354·2016-03-01 10:00

各种代数结构（抽象代数）总结，仿射空间和点的数学定义

整理自《离散数学》第三部分屈婉玲运算的封闭性是大前提：结合律-> 半群（Semigroup）+幺元-> 幺半群（Monoid）不是Monad ∀a ∃ea:e=e:a=a  =>  幺元唯一+逆元-> 
u010476094·2015-12-17 21:00

泛函编程（22）－泛函数据类型－Monoid In Action

    在上一节我们讨论了Monoid的结合性和恒等值的作用以及Monoid如何与串类元素折叠算法相匹配。
·2015-10-21 13:20

泛函编程（21）－泛函数据类型－Monoid

    Monoid是数学范畴理论（category theory）中的一个特殊范畴（category）。
·2015-10-21 13:19

泛函编程（27）－泛函编程模式－Monad Transformer

同样，泛函数据类型Foldable,Monoid,Functor,Applicative,Traversable,Monad也是我们将来进入实际泛函编程的必需。
·2015-10-21 11:28

Scalaz（8）－ typeclass：Monoid and Foldable

 Monoid是种最简单的typeclass类型。
TIGER_XC·2015-10-09 21:00

Introduction to Monoids and Semigroups with Spark

在地球上什么是Monoid?？
xiangel·2015-07-18 22:00

泛函编程（27）－泛函编程模式－Monad Transformer

同样，泛函数据类型Foldable,Monoid,Functor,Applicative,Traversable,Monad也是我们将来进入实际泛函编程的必需。
TIGER_XC·2015-05-28 11:00

泛函编程（22）－泛函数据类型－Monoid In Action

  在上一节我们讨论了Monoid的结合性和恒等值的作用以及Monoid如何与串类元素折叠算法相匹配。
TIGER_XC·2015-04-21 09:00

泛函编程（21）－泛函数据类型－Monoid

  Monoid是数学范畴理论（categorytheory）中的一个特殊范畴（category）。
TIGER_XC·2015-04-20 17:00

haskell - Functors, Applicative Functors and Monoids - Monoids introduction

In this post, we will going to examine the monoid, monoids are a typeclass, which has an associative
joe.bq.wang·2013-05-01 22:00
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他