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