From: jim Date: Thu, 19 Mar 2015 22:37:01 +0000 (-0400) Subject: express hesitation about flipped names X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=a914ff0ed48112619a514100394a5f2a0fcbc132;ds=inline express hesitation about flipped names --- diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn index 75d0cee4..81ccafb2 100644 --- a/topics/week7_introducing_monads.mdwn +++ b/topics/week7_introducing_monads.mdwn @@ -107,11 +107,11 @@ Here are the types of our crucial functions, together with our pronunciation, an <=< or mcomp : (Q -> R) -> (P -> Q) -> (P -> R) ->=> or mpmoc (flip mcomp): (P -> Q) -> (Q -> R) -> (P -> R) +>=> (flip mcomp, should we call it mpmoc?): (P -> Q) -> (Q -> R) -> (P -> R) >>= or mbind : (Q) -> (Q -> R) -> (R) -=<< or mdnib (flip mbind) (Q) -> (Q -> R) -> (R) +=<< (flip mbind, should we call it mdnib?) (Q) -> (Q -> R) -> (R) join: P -> P