Daniel Schoepe <dan...@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/

Attachment: signature.asc
Description: PGP signature

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to