Hello, can anybody tell me what the German translation of the word "kind" as used in type theory and especially in Haskell is? Best wishes, Wolfgang
Wolfgang Jeltsch writes:
can anybody tell me what the German translation of the word "kind" as used in type theory and especially in Haskell is?
To prevent misunderstanding: I speak German as a typical Spanish cow speaks French. Vielleicht a little better when I drink too much coffee... Jedoch... I *have seen* in some German pedagogic documents I cannot trace now, Gattung with "(Genre?)" in parentheses. Perhaps it is that, perhaps not. I have, btw. the same problem with French and Polish... (genre/espèce?) (rodzaj)? So, you are not alone, brother... Jerzy Karczmarczuk
Am Samstag, 18. Juni 2005 20:25 schrieben Sie:
can anybody tell me what the German translation of the word "kind" as used in type theory and especially in Haskell is?
Wie wär's mit `Sorte', Ralf
I have already thought about that but was not sure it was correct since the meaning of "Sorte" in algebra is very different from what is meant with "kind" in type theory. Best wishes, Wolfgang
Wolfgang Jeltsch wrote:
Am Samstag, 18. Juni 2005 20:25 schrieben Sie:
can anybody tell me what the German translation of the word "kind" as used in type theory and especially in Haskell is? Wie wär's mit `Sorte', Ralf
I have already thought about that but was not sure it was correct since the meaning of "Sorte" in algebra is very different from what is meant with "kind" in type theory.
This confusion is already present within the English language: the theorem prover Isabelle uses the English term "sort" for what in Haskell is called "kind", while in the context of universal algebra, "sort" means what in Haskell is called (basic) "type". Hence "sort" and "Sorte" perhaps should be avoided entirely. -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till
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
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 ...".
Ralf Hinze wrote:
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 ...".
Indeed. Moreover, my impression is that many Germans rather tend to say "die Kind" instead when they have to, maybe because that is the gender you have for "Sorte", "Art", and "Gattung". -- Andreas Rossberg, rossberg@ps.uni-sb.de Let's get rid of those possible thingies! -- TB
On Mon, Jun 20, 2005 at 01:11:27PM +0200, Andreas Rossberg wrote:
Indeed. Moreover, my impression is that many Germans rather tend to say "die Kind" instead when they have to, maybe because that is the gender you have for "Sorte", "Art", and "Gattung". ^^^^^^^
Well, then what about "Gattung"? Ciao, Kili
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
Am Montag, 20. Juni 2005 13:45 schrieb Christian Maeder:
you could also say "ein Typkonstruktor mit Kind ..." (and leave the gender open)
Hier ist er: , _/^\_ < > /.-.\ `/&\` ,@.*;@, /_o.I %_\ (`'--:o(_@; /`;--.,__ `') ;@`o % O,*`'`&\ (`'--)_@ ;o %'()\ ,==. /`;--._`''--._O'@; / 66\ /&*,()~o`;-.,_ `""`) \c -_) /`,@ ;+& () o*`;-';\ `) ( (`""--.,_0 +% @' &()\ / \ /-.,_ ``''--....-'`) / \ \ /@%;o`:;'--,.__ __.'\ (( /\ \_ ;*,&(); @ % &^;~`"`o;@(); \\ \ `--` /(); o^~; & ().o@*&`;&%O\ / / / `"="==""==,,,.,="=="==="` (_(___) ##### .. der Tpykonstruktor `Tree' mit Kind ...
Am Montag, 20. Juni 2005 14:01 schrieb Ralf Hinze:
Am Montag, 20. Juni 2005 13:45 schrieb Christian Maeder:
you could also say "ein Typkonstruktor mit Kind ..." (and leave the gender open)
Hier ist er: , _/^\_ < > /.-.\ `/&\` ,@.*;@, /_o.I %_\ (`'--:o(_@; /`;--.,__ `') ;@`o % O,*`'`&\ (`'--)_@ ;o %'()\ ,==. /`;--._`''--._O'@; / 66\ /&*,()~o`;-.,_ `""`) \c -_) /`,@ ;+& () o*`;-';\ `) ( (`""--.,_0 +% @' &()\ / \ /-.,_ ``''--....-'`) / \ \ /@%;o`:;'--,.__ __.'\ (( /\ \_ ;*,&(); @ % &^;~`"`o;@(); \\ \ `--` /(); o^~; & ().o@*&`;&%O\ / / / `"="==""==,,,.,="=="==="` (_(___) #####
.. der Tpykonstruktor `Tree' mit Kind ...
:-) :-) :-) :-) :-) :-) :-) Viele Grüße Wolfgang
participants (7)
-
Andreas Rossberg -
Christian Maeder -
karczma＠info.unicaen.fr -
Matthias Kilian -
Ralf Hinze -
Till Mossakowski -
Wolfgang Jeltsch