Type operators in GHC
Joachim Breitner
mail at joachim-breitner.de
Thu Jan 19 14:21:48 CET 2012
Hi,
Am Donnerstag, den 19.01.2012, 07:11 -0500 schrieb Matthew Farkas-Dyck:
> On 19/01/2012, Joachim Breitner <mail at joachim-breitner.de> wrote:
> > (I have no good idea, but here is at least one: A dot '.' as the first
> > character indicates a type variable; compared to a ':' this is a
> > non-capitalized character).
>
> So that all symbols that start in dot are variables, and all others
> are types/constructors?
exactly, that would be an option to get the benefit of the proposal
(nicer type constructor operator names) without giving up completely on
type variable operators names.
Greetings,
Joachim
--
Joachim "nomeata" Breitner
mail at joachim-breitner.de | nomeata at debian.org | GPG: 0x4743206C
xmpp: nomeata at joachim-breitner.de | http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120119/83865d69/attachment.pgp>
More information about the Glasgow-haskell-users
mailing list