On 8/17/05, Ralf Lammel <[EMAIL PROTECTED]> wrote:
> I don't even want this feature. :-)
> The point being that datatype declarations, *as such*, are explicit
> anyhow.
> Why bother about the explicit quantifiers then?
> Of course, in a language with inferred datatypes I would mind.
> That's an int
rg; Benjamin Franksen
> Subject: Re: [Haskell-cafe] Re: [Haskell] pros and cons of static
typing
> andside effects ?
>
> Ralf,
>
> > Technically this is trivial it seems. I think that some people
> > consider this proposal a problem because typos (misspelled type
> >
Ralf,
Technically this is trivial it seems. I think that some people
consider this proposal a problem because typos (misspelled type
parameters) immediately lead to the accidental exploration of a more
advanced type-system feature and correspondingly more involved error
messages. Of course, t
Technically this is trivial it seems. I think that some people consider this
proposal a problem because typos (misspelled type parameters) immediately lead
to the accidental exploration of a more advanced type-system feature and
correspondingly more involved error messages. Of course, the type c