mypy

Check variable types during compile time.