文件名称：semirings:basehaskell-platform 中类型的半环和 *-半环
文件大小：31KB
文件格式：ZIP
更新时间：2024-06-18 13:56:03
Haskell
半环 Haskellers 通常熟悉幺半群和半群。 mappend有一个附加操作<>或mappend和一个标识元素mempty 。 半群有一个 append <> ，但不需要mempty元素。 Semiring 有两个附加操作，“plus”和“times”，以及两个各自的身份元素，“zero”和“one”。 更正式地说，半环 R 是配备有两个二元关系 + 和 * 的集合，使得： (R, +) 是单位元素为 0 的可交换幺半群： (a + b) + c = a + (b + c) 0 + a = a + 0 = a a + b = b + a (R, *) 是单位元素为 1 的幺半群： (a * b) * c = a * (b * c) 1 * a = a * 1 = a 左右乘法分布在加法上 a * (b + c) = (a * b) + (a * c) (a +
【文件预览】：
semirings-master
----.gitignore(89B)
----Setup.hs(46B)
----semirings.cabal(3KB)
----stack.yaml.lock(449B)
----LICENSE(1KB)
----CHANGELOG.md(5KB)
----cabal.project(73B)
----.github()
--------workflows()
----hie.yaml(129B)
----README.md(3KB)
----Data()
--------Euclidean.hs(13KB)
--------Semiring.hs(34KB)
--------Semiring()
--------Star.hs(1KB)
--------Field.hs(2KB)
----cabal.haskell-ci(217B)
----test()
--------Setup.hs(46B)
--------LICENSE(1KB)
--------semirings-tests.cabal(1KB)
--------README.md(193B)
--------main.hs(9KB)
----stack.yaml(2KB)