TypeScript中的infer关键字用于条件类型中推断类型，特别适合提取和转换复杂类型。它只能与泛型和extends关键字结合使用，能够提取函数返回值、数组元素类型和Promise值类型，增强了类型系统的灵活性。
本研究提出了一种名为PC-SubQ的提示策略，旨在提升大型语言模型（LLMs）在因果推理中的表现。通过将任务拆分为子问题，LLMs能够更有效地应用因果发现算法，从而增强其鲁棒性。
本文介绍了TS挑战记录的第一部分，包括type、typeof、keyof、extends、in运算符和infer的用法，以及自定义类型操作。
完成下面两步后，将自动完成登录并继续当前操作。
