6 Dec
2006
6 Dec
'06
9:15 p.m.
On Thu, Dec 07, 2006 at 12:39:35PM +1100, Donald Bruce Stewart wrote:
droundy:
I was just thinking today. Is there any reason we couldn't have infix multiparameter typeclasses? For typeclasses standing as witnesses of relationships it'd be much clearer, for example to have something like (a :<: b) rather than the always-vague (LT a b) which either reads the same as the infix version or backwards. [...]
I think they are valid now!
Silly me! I didn't even think to try! Nice. And thanks! -- David Roundy Department of Physics Oregon State University