Idioms are oblivious, arrows are meticulous, monads are promiscuous

Sam Lindley; Philip Wadler; Jeremy Yallop

doi:10.1016/j.entcs.2011.02.018

Idioms are oblivious, arrows are meticulous, monads are promiscuous

Sam Lindley^*, Philip Wadler, Jeremy Yallop

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

32 Citations (Scopus)

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
Pages (from-to)	97-117
Number of pages	21
Journal	Electronic Notes in Theoretical Computer Science
Volume	229
Issue number	5
DOIs	https://doi.org/10.1016/j.entcs.2011.02.018
Publication status	Published - 8 Mar 2011

Keywords

applicative functors
arrows
idioms
monads

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1016/j.entcs.2011.02.018Licence: CC BY-NC-ND

Cite this

@article{19b35857523d4bc78ea9bb4e01d98934,

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

keywords = "applicative functors, arrows, idioms, monads",

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

year = "2011",

month = mar,

day = "8",

doi = "10.1016/j.entcs.2011.02.018",

language = "English",

volume = "229",

pages = "97--117",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "5",

}

TY - JOUR

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

AU - Lindley, Sam

AU - Wadler, Philip

AU - Yallop, Jeremy

PY - 2011/3/8

Y1 - 2011/3/8

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.

KW - applicative functors

KW - arrows

KW - idioms

KW - monads

UR - http://www.scopus.com/inward/record.url?scp=79952374884&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2011.02.018

DO - 10.1016/j.entcs.2011.02.018

M3 - Article

AN - SCOPUS:79952374884

SN - 1571-0661

VL - 229

SP - 97

EP - 117

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 5

ER -

Idioms are oblivious, arrows are meticulous, monads are promiscuous

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this