<rss xmlns:atom="http://www.w3.org/2005/Atom" version="2.0">
    <channel>
        <title>Rust - Tag - 编程心语</title>
        <link>https://www.ithome.me/tags/rust/</link>
        <description>Rust - Tag - 编程心语</description>
        <generator>Hugo -- gohugo.io</generator><language>zh-CN</language><lastBuildDate>Thu, 09 Jul 2026 00:00:00 &#43;0000</lastBuildDate><atom:link href="https://www.ithome.me/tags/rust/" rel="self" type="application/rss+xml" /><item>
    <title>类型驱动设计：让非法状态在编译期无处藏身</title>
    <link>https://www.ithome.me/post/2026/07/09/type-driven-design-illegal-states/</link>
    <pubDate>Thu, 09 Jul 2026 00:00:00 &#43;0000</pubDate>
    <author>Simon</author>
    <guid>https://www.ithome.me/post/2026/07/09/type-driven-design-illegal-states/</guid>
    <description><![CDATA[从一个 Bug 说起 你一定见过这样的代码： 1 2 3 4 5 interface User { id: string email: string | null verified: boolean } 看似合理，但仔细想想——一个 email 为 null 的用户，verified 能是 true 吗？显然]]></description>
</item>
</channel>
</rss>
