[Haskell] translation of "kind"

Wolfgang Jeltsch wolfgang at jeltsch.net
Sat Jun 18 14:32:48 EDT 2005

Am Samstag, 18. Juni 2005 20:25 schrieben Sie:
> > can anybody tell me what the German translation of the word "kind" as
> > used in type theory and especially in Haskell is?
> Wie wär's mit `Sorte', Ralf

I have already thought about that but was not sure it was correct since the 
meaning of "Sorte" in algebra is very different from what is meant with 
"kind" in type theory.

Best wishes,

More information about the Haskell mailing list