20 Jun
2005
20 Jun
'05
10:20 a.m.
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 ...".