hello. Probabilly this is dummy question 'cause I'm a new user of Python. Can I make static type checker for Python? or Is there any previous work about this? if impossible, why? what language feature should be changed to be possible? thanks in advance.