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 _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
