Type operators in GHC

Matthew Farkas-Dyck strake888 at gmail.com
Thu Jan 19 13:11:19 CET 2012

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?

> Also, is there maybe another way of distinguishing constructors and
> variables, besides capitalization, that works equally well for operators
> and non-operators? That could also help if a user would like to use
> unicode characters in the name of a constructor that are letters but
> don’t have a upper or titlecase variant. But then, this has probably
> been given thought a long time ago, without a better solution than
> capitalization resp. leading ':'.

Sometimes I thought to use "∀" to quantify over type variables, as
over term variables, at least as an option.

More information about the Glasgow-haskell-users mailing list