Idioms are oblivious, arrows are meticulous, monads are promiscuous

Sam Lindley; Philip Wadler; Jeremy Yallop

Idioms are oblivious, arrows are meticulous, monads are promiscuous

Sam Lindley, Philip Wadler, Jeremy Yallop

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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..

Original language	English
Title of host publication	Mathematically Structured Functional Programming 2008
Number of pages	19
Publication status	Published - 2008

Access to Document

Lindley Wadler ET AL 2009 Idioms are oblivious, arrows are meticulous, monads are promiscuousSubmitted manuscript, 206 KB

Cite this

@inproceedings{8271ce0c018f4656b19ab691fe42b1cf,

title = "Idioms are oblivious, arrows are meticulous, monads are promiscuous",

abstract = "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..",

author = "Sam Lindley and Philip Wadler and Jeremy Yallop",

year = "2008",

language = "English",

booktitle = "Mathematically Structured Functional Programming 2008",

}

TY - GEN

T1 - Idioms are oblivious, arrows are meticulous, monads are promiscuous

AU - Lindley, Sam

AU - Wadler, Philip

AU - Yallop, Jeremy

PY - 2008

Y1 - 2008

N2 - 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..

AB - 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..

M3 - Conference contribution

BT - Mathematically Structured Functional Programming 2008

ER -

Idioms are oblivious, arrows are meticulous, monads are promiscuous

Abstract

Access to Document

Fingerprint

Cite this