[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)
Christian
More information about the Haskell
mailing list