<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>类型系统 on Mi&amp;Bee Blog</title><link>https://blog.mickeyzzc.tech/tags/%E7%B1%BB%E5%9E%8B%E7%B3%BB%E7%BB%9F/</link><description>Recent content in 类型系统 on Mi&amp;Bee Blog</description><generator>Hugo -- gohugo.io</generator><language>zh-CN</language><managingEditor>蓝宝石的傻话</managingEditor><lastBuildDate>Thu, 14 May 2026 10:00:00 +0800</lastBuildDate><atom:link href="https://blog.mickeyzzc.tech/tags/%E7%B1%BB%E5%9E%8B%E7%B3%BB%E7%BB%9F/rss.xml" rel="self" type="application/rss+xml"/><item><title>接口与泛型：Go 的核心抽象机制</title><link>https://blog.mickeyzzc.tech/posts/programming/go-interfaces-generics/</link><pubDate>Thu, 12 Feb 2026 10:00:00 +0800</pubDate><guid>https://blog.mickeyzzc.tech/posts/programming/go-interfaces-generics/</guid><description>&lt;p&gt;前两篇我们了解了 Go 的基础语法和并发模型，现在深入 Go 类型系统的两大核心——&lt;strong&gt;接口&lt;/strong&gt;（interface）和&lt;strong&gt;泛型&lt;/strong&gt;（generics）。这两者构成了 Go 抽象机制的基石：接口提供了基于行为的运行时多态，而泛型则带来了类型安全的编译时抽象。&lt;/p&gt;</description></item><item><title>Trait 与泛型：Rust 的类型抽象系统</title><link>https://blog.mickeyzzc.tech/posts/programming/rust-traits-generics/</link><pubDate>Thu, 14 May 2026 10:00:00 +0800</pubDate><guid>https://blog.mickeyzzc.tech/posts/programming/rust-traits-generics/</guid><description>&lt;p&gt;前几篇我们了解了 Rust 的所有权系统、错误处理和模块管理，现在深入 Rust 类型系统的两大核心——&lt;strong&gt;trait&lt;/strong&gt;（特征）和&lt;strong&gt;泛型&lt;/strong&gt;（generics）。这两者构成了 Rust 抽象机制的基石：trait 提供了基于行为的编译期约束，而泛型则带来了类型安全的参数化编程。&lt;/p&gt;</description></item></channel></rss>