torchtyping

torchtyping

张量类型注解工具,支持形状和数据类型检查

一种适用于PyTorch的工具,用于对张量的形状和数据类型进行类型注解,通过编程检查确保张量规范,减少错误。支持多种注解,具有高度的可扩展性,包括形状、数据类型和维度名称。与typeguard集成,可进行运行时类型检查,提升代码的可读性和健壮性。

torchtypingtype annotationsPythonPyTorch检测类型Github开源项目

项目介绍: Torchtyping

Torchtyping 是一个用于 Tensor(张量)类型注释的工具,专注于描述张量的形状、数据类型(dtype)、名字等各种属性。它为开发者提供了一种更清晰且更安全的方式编写代码,帮助程序员避免常见的错误。

主要功能

在传统的编写代码过程中,开发者通常需要通过添加大量的注释,例如“# x has shape (batch, hidden_state)”或使用“assert x.shape == y.shape”这样的语句来追踪张量的形状。Torchtyping 通过类型注释简化了这一过程,使代码更加简洁,并减少了错误的发生。

利用 torchtyping,开发者可以如下定义函数:

def batch_outer_product(x: TensorType["batch", "x_channels"], y: TensorType["batch", "y_channels"] ) -> TensorType["batch", "x_channels", "y_channels"]: return x.unsqueeze(-1) * y.unsqueeze(-2)

安装方法

您可以通过以下命令来安装 Torchtyping:

pip install torchtyping

注意,需要 Python 3.7 以上版本,以及 PyTorch 1.7.0 及以上版本。如果您使用 typeguard,则其版本需要低于 3.0.0。

使用指南

Torchtyping 可以注释以下属性:

  • 形状: 张量的维度和大小;
  • 数据类型 (dtype): 例如浮点型、整数等;
  • 布局 (layout): 稠密或稀疏布局;
  • 维度的名字: 针对命名张量;
  • 任意数量的批量维度通过使用 ...
  • 其他自定义属性

在通过安装 typeguard 后,Torchtyping 可以在运行时验证这些类型,以确保张量与注释中的形状和数据类型一致。

示例代码

通过以下代码可了解如何在程序中应用:

from torch import rand from torchtyping import TensorType, patch_typeguard from typeguard import typechecked patch_typeguard() # 在 @typechecked 之前使用 @typechecked def func(x: TensorType["batch"], y: TensorType["batch"]) -> TensorType["batch"]: return x + y func(rand(3), rand(3)) # 正常运行 func(rand(3), rand(1)) # 报错:不同大小的 'batch' 维度

核心 API

Torchtyping 的核心是 TensorType,可以用来注释张量的多个属性组合:

  • shape(形状)支持指定具体尺寸、名称或任意维度等;
  • dtype(数据类型)可以是特定的 PyTorch 数据类型或者 Python 的基本数据类型;
  • layout 说明张量是稠密还是稀疏的;
  • details 用于传递自定义标志,如 is_namedis_float

与 typeguard 的集成

通过 torchtyping.patch_typeguard() 函数,Torchtyping 可以与 typeguard 集成,实现实时类型检查。该函数应全局调用,确保 typeguard 能够适配 TensorType

进一步文档

如果想深入了解如何编写 Torchtyping 自定义扩展、兼容 flake8mypy 等,建议用户查阅 Torchtyping 的进一步文档。这些资源将为使用者提供更广泛的帮助,节省调试时间,并提高代码质量。

总结来说,Torchtyping 不仅使代码更加清晰易懂,而且通过正则化的类型注释提高了代码的鲁棒性,是每个使用 PyTorch 编写深度学习模型开发者的好帮手。

编辑推荐精选

Vora

Vora

免费创建高清无水印Sora视频

Vora是一个免费创建高清无水印Sora视频的AI工具

Refly.AI

Refly.AI

最适合小白的AI自动化工作流平台

无需编码,轻松生成可复用、可变现的AI自动化工作流

酷表ChatExcel

酷表ChatExcel

大模型驱动的Excel数据处理工具

基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。

AI工具酷表ChatExcelAI智能客服AI营销产品使用教程
TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
AIWritePaper论文写作

AIWritePaper论文写作

AI论文写作指导平台

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

AI辅助写作AI工具AI论文工具论文写作智能生成大纲数据安全AI助手热门
博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

下拉加载更多