[问题] 函数与交换率

楼主: drm343 (一卡)   2011-06-04 00:21:37
大家好,今天在写程式时,才突然发现,有些合成函数具有\
交换律,有一些合成函数则不具有交换律,但却想不通为什\
么会如此?希望能获得关键字,感谢。
举个例子来说。
(以下用 py3k 做范例)
作者: tkcn (say)   2011-06-04 00:31:00
交换 "律" 才对另外,我也不觉得这种情况是交换律
作者: ccshan (善终结)   2011-06-04 00:51:00
函数一般没有交换律,特例情形才有。您的第一个例子也是Wadler "Theorems for Free" 那篇文章的起例,请参阅。
作者: godfat (godfat 真常)   2011-06-04 20:44:00
我们会说某个 function 是 associative, 但你的例子里,其实是两个完全不同的 function, 这样不是 associative
作者: xcycl (XOO)   2011-06-08 09:01:00
这边提的是 compoosition 这个 operators 的性质。另外,commutativity 才是交换律。
作者: godfat (godfat 真常)   2011-06-09 22:23:00
sorry, 错很多 XD

Links booklink

Contact Us: admin [ a t ] ucptt.com