@charliermarsh: 在下一个 ty 版本中，我们将全面支持递归隐式类型别名（任意深度）。对于类型理论...

X AI KOLs Following 2026/09/18 16:36 工具

type-system recursive-types mu-types tool-release programming

摘要

在 ty 的下一个版本中，通过使用 mu 类型实现了对递归隐式类型别名的全面支持。

在下一个 ty 版本中，我们将全面支持递归隐式类型别名（任意深度）。对于我们中的类型理论家来说，这是通过使用 mu 类型实现的。 https://t.co/DgVEky3KRx

查看原文

查看缓存全文

缓存时间: 2026/09/18 16:40

在ty的下一个版本中，我们将全面支持递归隐式类型别名（可处理任意深度的情况）。

对于类型理论爱好者，此功能是通过μ类型实现的。https://t.co/DgVEky3KRx

相似文章

X AI KOLs Following

Charlie Marsh 宣布，'ty' 工具现在支持高级模式匹配中全部22种控制流分析和类型收窄案例。

X AI KOLs Following

Python 工具 'ty' 现在包含了对 Pydantic 的一流支持，区分了宽松模式和严格模式，并遵循 Pydantic 的类型强制规则。

X AI KOLs Following

ty-pre-commit 是一个新工具，通过自动使用 uv 安装依赖项，简化了类型检查器的预提交钩子。

X AI KOLs Following

Astral 发布实验性的 uv 与 ty 集成，新增 `uv check` 统一命令，可自动安装 ty、同步依赖并对项目进行类型检查，同时为 PEP 723 内联元数据声明的 Python 脚本提供一等公民支持。

Lobsters Hottest

本文详细介绍了 Haskell 的 GHC 编译器在依值类型方面的最新进展，包括 GADTs 中的可见 forall、命名空间指定导入以及其他编译器改进。