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