Мне вообще нравятся такие вещи, которые помогают не совершать ошибки, когда компилятор подстраховывает разработчика; все мы люди, все мы ошибаемся, от усталости ли, или от невнимательности. Это очень хорошо. Было бы прекрасно, если бы подобные инструменты были бы в Python, но в нём это будет смотреться очень странно, если представить на секунду, что это можно организовать до ошибок в рантайме.