Search
Write a publication
Pull to refresh

Comments 4

UFO landed and left these words here
UFO landed and left these words here
Статья странная.
Так то валидатор является частью парсера.
Оригинальная статья про то, что лучше не проверять граничные условия каждый раз (не валидировать), а один раз привести данные к виду, которому мы доверяем. Если он порожден — он не может быть неправильным (либо явно указывает, что он не правильный, не давая собой пользоваться).
Система типов ровно про то же — она не позволяет преобразование к неверному типу без специальных операций. Предлагается использовать это преимущество для создания типов, в которых не может быть неверных с точки зрения предметной области состояний.
UFO landed and left these words here
Sign up to leave a comment.