Vlákno názorů k článku Statické typové kontroly zdrojových kódů Pythonu prováděné nástrojem Mypy od kvr kvr - Hlavně ty typy využívají další frameworks jako například...

Hlavně ty typy využívají další frameworks jako například FastAPI. Bohužel, Python VM typy už nekontroluje, takže lze jednoduše napsat x: int = "abcd" a to bez problému projde (MyPy by tedy asi zařvalo).

... to spolu s dynamicitou operátoru ve mě budí jistou nedůvěru, kdy data ze vstupu nemusí být korektně validována a v runtime se pak můžou dít zcela nepředvídatelné věci.

Mypy tyto věci dokáže celkem dobře detekovat. Ano, někdy se "zasekne", když se pokouší o type inferenci (ukážu to příště), ale z toho příkladu s Javou je vidět, že je někdy o dost "silnější" (na škáke weak-strong) než slavná J :-)

Typová inference není legrace, podle vlastností jazyka může být NP-těžká nebo dokonce nemožná (na 100%). Swift na to dříve trpěl.

Z Pythonu jsou teď v podstatě dva jazyky :D Něco podobného vlastně dávno zkoušel Gilad Bracha v jazyce StrongTalk : "The type system is both optional and incremental".

15. 6. 2023, 09:52 editováno autorem komentáře

To je to samé jako v tom ObjC, s tím, že S*Talk v sobě neobsahuje C :)

Kde to je potřeba, dá se pořešit pomocí Pydantic, ne?