Используйте парсинг вместо контроля типов

Если что, статья "Parse, don’t validate" также была переведена и есть на хабре: "Парсите, а не валидируйте"

Статья странная.
Так то валидатор является частью парсера.
Оригинальная статья про то, что лучше не проверять граничные условия каждый раз (не валидировать), а один раз привести данные к виду, которому мы доверяем. Если он порожден — он не может быть неправильным (либо явно указывает, что он не правильный, не давая собой пользоваться).
Система типов ровно про то же — она не позволяет преобразование к неверному типу без специальных операций. Предлагается использовать это преимущество для создания типов, в которых не может быть неверных с точки зрения предметной области состояний.