[Haskell-cafe] German names for kinds and sorts

Ertugrul Soeylemez es at ertes.de
Mon Nov 14 10:58:59 CET 2011

Daniel Schoepe <daniel at schoepe.org> 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."


nightmare = unsafePerformIO (getWrongWife >>= sex)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111114/ea2bd0f1/attachment.pgp>

More information about the Haskell-Cafe mailing list