
15 Oct
2012
15 Oct
'12
5:53 p.m.
On Mon, 15 Oct 2012, Dan Burton wrote:
Ah, but this is precisely why I personally do use the "r" convention: because anywhere in the type signature where I see an "r", I know that it must match with the "result" type (the one at the end of the chain of arrows).
Would you also call input types 'i', or maybe 'a' because they are arguments, or 'p' because they are parameters?