type equality symbol

[Lennart Augustsson]

I agree.  There are other ways that to solve the same problem as the case
distinction does.

On Dec 7, 2007 12:45 PM, Johannes Waldmann <waldmann at imn.htwk-leipzig.de>
wrote:

> On Fri, 7 Dec 2007, Manuel M T Chakravarty wrote:
>
>  > The problem is that Haskell 98 already messed that up.
>  > If type functions are to use lower-case letters, [...]
>
> Yes.
>
> The broken thing is that the upper/lower case distinction
> has syntactic importance in the language definition at all.
>
> I guess this was introduced to avoid writing out
> some declarations. This is a bad design goal,
> especially so for a declarative language.
>
> Reminds me of ancient Fortran using the first letter of an identifier
> for implicit typing (I .. N for integer, others for real).
>
> Best regards,
> --
> -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
> ---- http://www.imn.htwk-leipzig.de/~waldmann/<http://www.imn.htwk-leipzig.de/%7Ewaldmann/>-------
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20071208/362591e5/attachment-0001.htm