<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Infer on PlumePHP</title><link>https://plumephp.com/tags/infer/</link><description>Recent content in Infer on PlumePHP</description><generator>Hugo</generator><language>zh-CN</language><lastBuildDate>Sat, 26 Sep 2026 09:00:00 +0800</lastBuildDate><atom:link href="https://plumephp.com/tags/infer/index.xml" rel="self" type="application/rss+xml"/><item><title>TypeScript 类型体操进阶：条件类型、映射类型、模板字面量与 infer 递归的实战组合</title><link>https://plumephp.com/typescript-type-level-programming/</link><pubDate>Sat, 26 Sep 2026 09:00:00 +0800</pubDate><guid>https://plumephp.com/typescript-type-level-programming/</guid><description>&lt;p&gt;&lt;strong&gt;类型体操（Type-Level Programming）是把 TypeScript 的类型系统当作一门独立的&amp;quot;编程语言&amp;quot;来使用&lt;/strong&gt;。入门篇只解决了&amp;quot;会用内置工具类型&amp;quot;，而进阶篇要回答一个更根本的问题：当内置工具类型不够用时，如何像写普通函数一样，用条件分支、递归、字符串拼接把复杂类型&amp;quot;计算&amp;quot;出来？&lt;/p&gt;</description></item></channel></rss>