| ชื่อเรื่อง | : | Idioms are oblivious, arrows are meticulous, monads are promiscuous |
| นักวิจัย | : | Lindley, Sam , Wadler, Philip , Yallop, Jeremy |
| คำค้น | : | applicative functors , idioms , arrows , monads |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2551 |
| อ้างอิง | : | http://homepages.inf.ed.ac.uk/wadler/papers/arrows-and-idioms/arrows-and-idioms.pdf , http://hdl.handle.net/1842/3800 , 1571-0661 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We revisit the connection between three notions of computation: Moggi’s monads, Hughes’s arrows and McBride and Paterson’s idioms (also called applicative functors). We show that idioms are equivalent to arrows that satisfy the type isomorphism A;B ' 1;(A ! B) and that monads are equivalent to arrows that satisfy the type isomorphism A;B ' A ! (1;B). Further, idioms embed into arrows and arrows embed into monads. |
| บรรณานุกรม | : |
Lindley, Sam , Wadler, Philip , Yallop, Jeremy . (2551). Idioms are oblivious, arrows are meticulous, monads are promiscuous.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Lindley, Sam , Wadler, Philip , Yallop, Jeremy . 2551. "Idioms are oblivious, arrows are meticulous, monads are promiscuous".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Lindley, Sam , Wadler, Philip , Yallop, Jeremy . "Idioms are oblivious, arrows are meticulous, monads are promiscuous."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2551. Print. Lindley, Sam , Wadler, Philip , Yallop, Jeremy . Idioms are oblivious, arrows are meticulous, monads are promiscuous. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2551.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
