Re: [Haskell-cafe] German names for kinds and sorts

Daniel Schoepe wrote:

...

Most time, it is not really difficult to find an appropriate term for concepts of Haskell, like types (Typen) or type classes (Typklassen). But I really don't know how to call kinds and sorts in German. Any ideas?

I'd go with "Arten" and "Sorten" respectively.

I agree. I find myself talking about "Typarten": "Der Typ Maybe ist von der Art * -> *." Often it's also sufficient to differentiate between concrete types and type constructors: "Maybe ist ein Typenkonstruktor." Greets, Ertugrul -- nightmare = unsafePerformIO (getWrongWife >>= sex) http://ertes.de/