Details on static typing in Python

coming soon...