[Haskell-cafe] Why is $ right associative instead of leftassociative?

Stefan Holdermans stefan at cs.uu.nl
Sat Feb 4 15:55:10 EST 2006


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Brian wrote:

> I think the mystery surrounding :: and : might have been that
> originally people thought type annotations would hardly ever be needed
> whereas list cons is often needed, but now that it is regarded as good
> practice to put a type annotation before every top level value
> binding, and as the type system becomes more and more complex (eg with
> GADTs etc), type annotations are now presumably far more common than
> list cons so it would be good if Haskell Prime would swap these
> operators back to their de facto universal inter-language standard of
> list cons and type annotation respectively.

I don't think Haskell Prime should be about changing the look and  
feel of the language.

Regards,

   Stefan
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (Darwin)

iD8DBQFD5RSuX0lh0JDNIpwRAocIAKCvxR4PujkceRo94NgbeCLFbAwwNgCfZl+6
ncz3/uxwGbmsAUe76oWDgGA=
=pVEw
-----END PGP SIGNATURE-----


More information about the Haskell-Cafe mailing list