[Haskell-cafe] German names for kinds and sorts
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
T0 = Type
T1 = Kind
T2 = Sort
this seems easier to me than an arbitrary hierarchy, particularly as
you go higher up the structure.
More information about the Haskell-Cafe