Народ, есть кто давно в Python-разработке? Вот задумался о типизации в одном своем новом проекте. Раньше как-то обходился без нее, но сейчас хочется как-то более надежно все сделать, особенно когда код растет. Какие инструменты сейчас топчик? Pyright, Mypy, или есть что-то еще более интересное? Какие подводные камни могут быть?