3
Warum ein Doppelpunkt, um anzuzeigen, dass ein Wert zu einem Typ gehört?
Pierce (2002) führt die Typisierungsrelation auf Seite 92 folgendermaßen ein: Die Typisierungsrelation für arithmetische Ausdrücke, geschrieben "t: T", wird durch eine Reihe von Inferenzregeln definiert, die den Begriffen Typen zuweisen und in der Fußnote steht: Das Symbol ∈∈\in wird häufig anstelle von: verwendet. Meine Frage ist einfach, warum Typentheoretiker bevorzugen: …