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