[Haskell-cafe] German names for kinds and sorts

[Ertugrul Soeylemez]

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."


Greets,
Ertugrul


-- 
nightmare = unsafePerformIO (getWrongWife >>= sex)
http://ertes.de/
-------------- 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>