[Haskell] translation of "kind"

Ralf Hinze ralf at informatik.uni-bonn.de
Mon Jun 20 06:20:05 EDT 2005

Am Montag, 20. Juni 2005 12:06 schrieb Christian Maeder:
> 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")

Honestly, this is truly horrible (sorry, Peter). Just try to read it
aloud: "der Kind des Typkonstruktors ...".

More information about the Haskell mailing list