Pull to refresh

Comments 4

UFO landed and left these words here
Статья странная.
Так то валидатор является частью парсера.
Оригинальная статья про то, что лучше не проверять граничные условия каждый раз (не валидировать), а один раз привести данные к виду, которому мы доверяем. Если он порожден — он не может быть неправильным (либо явно указывает, что он не правильный, не давая собой пользоваться).
Система типов ровно про то же — она не позволяет преобразование к неверному типу без специальных операций. Предлагается использовать это преимущество для создания типов, в которых не может быть неверных с точки зрения предметной области состояний.
UFO landed and left these words here
Only those users with full accounts are able to leave comments. Log in, please.