代码之家 › 专栏 › 技术社区 › softshipper

分解器的简单定义

category-theory haskell

softshipper · 技术社区 · 7 年前

我正在阅读BartoszMilewski关于 Products and Coproducts .

考虑以下功能:

factorizer :: (c -> a) -> (c -> b) -> (c -> (a, b))
factorizer p q = \x -> (p x, q x)

是 (c -> (a, b)) 保理商?如果是,为什么?老实说,对我来说,这个示例只是一个函数,它需要两个高阶函数。我看不出 Product .

下一个示例:

factorizer :: (a -> c) -> (b -> c) -> Either a b -> c
factorizer i j (Left a)  = i a
factorizer i j (Right b) = j b

如何识别 Coproducts 是否对应上述代码?

1 回复 | 直到 7 年前

Li-yao Xia 7 年前

在这两种情况下, factorizer 是分解器。从博客帖子:

从两个候选函数生成因子分解函数m的(高阶)函数有时称为因子分解器。

模式是,在这两种情况下,这些函数都给出只有某些方程的解。

对于产品,对于每个 f 和 g , factorizer f g 唯一的功能是 fst . factorizer f g = f 和 snd . factorizer f g = g .

对于副产品 f 和 g级 , 因子分解器f g 唯一的功能是 factorizer f g . Left = f 和 factorizer f g . Right = g .

因子化子的存在表征了 Either 和 (,) 类型直至同构。这提供了一种描述乘积和和的替代方法,可以将其推广到其他类别(这只是关于态射的合成)。相反,定义为 data (,) a b = (,) a b 和 data Either a b = Left a | Right b 是特定语言的专用语言。

推荐文章

Azathoth · 当使用过滤器不删除任何案例时,涉及空列表的案例不会编译

2 年前

Ethan Smallwood · Haskell从列表中的记录获取数据

2 年前

trpnd · 如何定义由两个任意单声道变压器组成的单声道变压器?

2 年前

Delfin · Haskell从do符号到Applicative符号的传递(第2部分)

2 年前

Fabus1184 · Haskell mapM_不打印

2 年前

Gotthold · 基于范数约束向量的类型

2 年前

dmcdo · 有没有一种干净的方法可以在一个表达式中得到列表的开头和结尾?

2 年前

jian · haskell将另一个函数用作输入参数

2 年前

Jocafrei · 用Haskell函数实现最大公约数函数

6 年前

pcoppi · 尝试在Haskell和根据-Wall编写函数时,我需要一个匹配(\u:\ u:\ u)的模式。这个模式意味着什么,为什么我需要它?

6 年前