[Haskell] translation of "kind"

Christian Maeder maeder at tzi.de
Mon Jun 20 06:06:22 EDT 2005

Wolfgang Jeltsch wrote:
> can anybody tell me what the German translation of the word "kind" as used in 
> type theory and especially in Haskell is?

Even Peter Thiemann in "Grundlagen der funktionalen Programmierung"
(1994) did not translate "Kind", although he used "geschönfinkelt" for
"curry" (honoring logicians Schönfinkel and Curry)

I'ld prefer "der Kind" (and avoid situtations that allowed confusion
with "das Kind")

Cheers Christian

More information about the Haskell mailing list