ну хз как к таким мыслям самому придти, когда со всех сторон орут "compile-time verification", "type-safe" и т.д.
Ну и процесс прихода простой, появляется вопрос о том, когда нужно валидировать данные а когда нужно надеятся что до тебя провалидировали. И пытаясь ответить на этот вопрос и приходишь.