4 May
2001
4 May
'01
6:12 p.m.
On Fri, May 04, 2001 at 09:27:51AM +0200, John Hughes wrote:
One good reason for NOT giving inferrable type signatures is that including them makes programs less modifiable: a small local change, such as adding a parameter to a type, may force a large number of consequential changes to type signatures.
Absolutely -- suppose you add a `trace' somewhere in your program, which conjures up a Show constraint everywhere... -- Mieszko