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