Als «notation» getaggte Fragen

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: …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.