Impressive transition. It's definitely better just to start with type annotations. It's around 3-10x more work to add them later, and you don't get the productivity benefits of having had them along the way. Same goes for Python.