[Haskell] translation of "kind"

Christian Maeder maeder at tzi.de
Mon Jun 20 07:45:41 EDT 2005

Ralf Hinze wrote:
> 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 ...".

you could also say "ein Typkonstruktor mit Kind ..." (and leave the
gender open)


More information about the Haskell mailing list