apparently python 3 supports static typing: https://www.python.org/dev/peps/pep-0484/ I think we should use it in the code we write using nmigen as it should help catch errors. Jacob Lifshay