[Haskell] translation of "kind"
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.
More information about the Haskell