1. PTT
  2. PLT

[問題] 函數與交換率

作者: 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
繼續閱讀
[學術問卷]關於程式語言社群~可抽大獎喔!懇請大家幫忙填寫！rdw216Re: [比較] 我為何鍾情於用 Scala 做為兵刃（三）drm343[問題] 請問有人懂Spin的語言嗎?Ywayboy[問題] 作業研究的lingon196t[問題] 請問有R語言版嗎？還有有個R的問題e29895037ricRe: [比較] 我為何鍾情於用 Scala 做為兵刃（三）fcamelRe: [比較] 我為何鍾情於用 Scala 做為兵刃（三）COLDTURNIPRe: [比較] 我為何鍾情於用 Scala 做為兵刃（三）yauhhRe: [比較] 我為何鍾情於用 Scala 做為兵刃（三）kaluvchris[比較] 我為何鍾情於用 Scala 做為兵刃（三）brianhsu

Links booklink

Contact Us: admin [ a t ] ucptt.com