[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,
Wolfgang


More information about the Haskell mailing list