[Haskell-cafe] German names for kinds and sorts

John Lato jwlato at gmail.com
Mon Nov 14 13:09:02 CET 2011

> From: Jerzy Karczmarczuk <jerzy.karczmarczuk at unicaen.fr>
> So, even more seriously, I propose to use more often Latin and Greek.

Jerzy's arguments make a lot of sense to me, but why not use an
index-based notation?

T0 = Type
T1 = Kind
T2 = Sort

this seems easier to me than an arbitrary hierarchy, particularly as
you go higher up the structure.

John Lato

More information about the Haskell-Cafe mailing list