“讨论室:学术” 上的话题

此页面显示由 Ice1000 于讨论室:学术在话题 “如何在计算机科学中应用类型论和范畴论？” 发布帖子的两个版本之间的更改。您可在它的历史页面查看此帖子的其它版本。

版本由Ice1000从 2023 年 1 月 19 日 (星期四)生成		版本由Ice1000从 2023 年 1 月 19 日 (星期四)生成
第1行:		第1行:
	令 Computed : Set → Set 作为一种标记计算的函数，输入一个表达式的集合，过滤掉里面那些会因为计算而变成其它东西的表达式，比如 1 + 1 就会被删掉，因为它运行后就是 2 了。这里 Computed 就是一个 Monad。不知道这么说能不能表达出它里面微妙的意思，但大概就是过滤两遍和只过滤一遍效果是一样的，而且 “把一个没化简的东西拿去化简” 本身是一个可重复而不可逆的过程，这对应了单子的那两个自然变换		令 Computed : Set → Set 作为一种标记计算的函数，输入一个表达式的集合，过滤掉里面那些会因为计算而变成其它东西的表达式，比如 1 + 1 就会被删掉，因为它运行后就是 2 了。这里 Computed 就是一个 Monad。不知道这么说能不能表达出它里面微妙的意思，但大概就是过滤两遍和只过滤一遍效果是一样的，而且 “把一个没化简的东西拿去化简” 本身是一个可重复而不可逆的过程，这对应了单子的那两个自然变换
		+
		+	编辑：经过后面的讨论，这个说法是有问题的。