Для меня это удобно, а так - личное дело каждого)
Мой поинт в том что это немного облегчает тестирование, т.к. если у тебя какая-то функция без строгой типизации может вернуть true, 1 или '1' (гипотетически), и в тестах тебе нужно учесть все кейсы, а если у тебя там обозначен : int, то проверять нужно всего один кейс (или 2 в случае ?int)...
Плюс на мой взгляд, прописанные строгие типы немного облегчают вхождение в проект новых людей (опять же сугубо личное мнение)