is identity the only polymorphic function without typeclasses?
Andrew J Bromage
ajb@spamcop.net
Mon, 3 Mar 2003 10:33:47 +1100
G'day all.
On Sun, Mar 02, 2003 at 10:18:13AM +0200, Cagdas Ozgenc wrote:
> Is identity function the only meaningful function one can write
> without constraining the type variable using a typeclass? If not,
> could you please give a counter-example?
This might help:
@incollection{ wadler89theorems,
author = "Philip Wadler",
title = "Theorems for Free!",
booktitle = "Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., {FPCA}'89, London, {UK}, 11--13 Sept 1989",
publisher = "ACM Press",
address = "New York",
pages = "347--359",
year = "1989"
}
Cheers,
Andrew Bromage