[Haskell] Re: Parameterized Show

Adrian Hey ahey at iee.org
Fri Nov 19 02:54:29 EST 2004

On Tuesday 16 Nov 2004 1:52 pm, Ben Rudiak-Gould wrote:
> George Russell wrote:
>  > Sorry, but I like implicit parameters, I use them, and I'm not going
>  > to stop using them because beta conversion no longer preserves
>  > semantics.
> You'll find that many people here don't agree with this view in general
> (though there's been surprisingly little backlash against implicit
> parameters in particular).

I would like to lash against them. I was unaware of the problems you
describe, but their existence doesn't surprise me. In view of the
controversy that a certain other perfectly safe, reasonable (and
necessary) language extension proposal has generated recently the
ready acceptance of this kind of brokeness is surprising. Frankly,
the idea that anyone would want to jump through hoops to add them to
a purely functional language sounds bizarre to me. Safe beta conversion
really ought to be a sacred cow. 

Still, at least they're not enabled by default. With any luck we won't
see too many people shooting themselves in the foot because they're too
lazy to pass their parameters explicitly.


Adrian Hey

More information about the Haskell mailing list