文章探讨了在静态类型语言中，应该优先使用解析而非验证的编程理念。作者认为，解析可以将数据转化为更精确的类型，并在类型系统中保留这些信息，从而尽早发现错误，提高代码的可靠性。而验证则只是简单地检查数据是否符合预期，无法有效利用类型系统提供的安全性。文章以 NonEmpty 类型为例，详细说明了如何使用解析来处理空列表问题，并进一步探讨了解析在处理外部数据、避免代码冗余、提高代码可维护性等方面的优势。