view wisdom/structural subtyping @ 4265:d1de03212129

<Taneb> learn arrows are just strong monads in the category of profunctors
author HackBot
date Mon, 06 Jan 2014 13:21:26 +0000
parents 70ea08a1d2cf
children
line wrap: on
line source

Not to be confused with substructural typing.