Applying mypy to real world projects | Dark Hacker News