Warp 内建函数 dtype 参数类型标注修复从值到类型的类型桩重构解析【免费下载链接】warpA Python framework for GPU-accelerated simulation, robotics, and machine learning.项目地址: https://gitcode.com/GitHub_Trending/warp/warp本篇技术文章聚焦 NVIDIA WarpPython GPU 高性能仿真与机器学习框架中一次针对内建函数类型桩type stub的修复wp.vector()、wp.quaternion()、wp.quat_identity()、wp.identity()、wp.tile_astype()、wp.tile_arange()等接受dtype参数的内建函数其dtype参数此前被类型标注为值而非类型导致类型检查器如 mypy / pyright给出错误的推断结果。读完本文你将理解该问题产生的根本原因、修复前后的类型语义差异、类型桩中type[...]与TypeVar的协作机制以及 Warp 仓库中用于验证该修复的静态类型检查夹具的用法。一、问题背景dtype被当作值而非类型在 Python 类型系统中值value与类型type是两个截然不同的概念。当一个函数参数期待的是wp.float64这样的类型对象时类型标注必须写成type[wp.float64]或更泛化的type[DTypeScalar]而不是wp.float64本身。二者语义差异巨大wp.float64是类型标注annotation表示参数的值必须是float64类型的实例type[wp.float64]表示参数的值必须是float64这个类/类型对象本身。而 Warp 的内建函数built-ins在调用时dtype参数传的恰恰是类型对象wp.quat_identity(dtypewp.float64)中的wp.float64是一个类型对象而不是某个 float64 数值。此前warp/__init__.pyi类型桩中把dtype标注成了普通值类型导致静态类型检查出现两类错误误报类型不匹配向dtype传入wp.float64这类类型对象时检查器认为参数类型不符合要求而报错使得合法的调用被错误标记为类型错误结果类型推断错误即使传入了dtype返回值类型也没有依据它进行参数化parameterize例如wp.quat_identity(dtypewp.float64)被错误地报告为quatf单精度四元数而非Quaternion[float64]导致后续针对双精度四元数的类型操作全部推断错误。该修复对应的变更记录见 changelog/builtin-dtype-type-hints.fixed.md属于 Warp 仓库中基于 towncrier 的变更碎片fragment体系最终会合并进 CHANGELOG.md 的发布说明中。二、修复方案dtype参数改为type[DType...]类型对象标注修复的核心动作是把类型桩中所有接收dtype的内建函数重载overload的dtype参数从普通类型标注改为type[...]形式并让返回值类型由传入的dtype参数化。TypeVar 的定义位于 warp/init.pyiDTypeFloat TypeVar(DTypeFloat, float, float16, bfloat16, float32, float64) DTypeScalar TypeVar(DTypeScalar, int, float, int8, uint8, int16, uint16, int32, uint32, int64, uint64, float16, bfloat16, float32, float64)DTypeFloat约束为浮点类型集合用于四元数、变换等仅支持浮点的内建函数DTypeScalar覆盖整数与浮点全集用于向量、矩阵、tile 等标量内建函数。以修复后的重载为例见 warp/init.pyiover def vector(*args: Scalar, length: int32 | int ..., dtype: type[DTypeScalar]) - Vector[DTypeScalar, Any]: Construct a vector of given length and dtype. If no arguments are given, the vector is zero-initialized. ...这里dtype: type[DTypeScalar]明确声明请传入一个类型对象且该类型必须属于 DTypeScalar 约束集合返回值Vector[DTypeScalar, Any]中的DTypeScalar与参数绑定实现结果类型随入参自动参数化。三、逐函数解析修复前后的类型桩对照本次修复涉及六类内建函数全部位于 warp/init.pyi 类型桩文件中。3.1wp.vector()零参数构造 dtype 参数化# 未传 dtype结果类型由 *args 推断 over def vector(*args: Scalar, length: int32 | int ...) - Vector[Scalar, Any]: ... # 传入 dtype结果类型由 dtype 决定 over def vector(*args: Scalar, length: int32 | int ..., dtype: type[DTypeScalar]) - Vector[DTypeScalar, Any]: ...两种重载分别覆盖从实参推断与显式指定 dtype两种用法。对应运行时的add_builtin(vector, ...)注册warp/_src/builtins.py中input_types{*args: Scalar, length: int, dtype: Scalar}defaults{length: None, dtype: None}即dtype为可选参数、缺省时从实参推断——这与类型桩中的两个over一一对应。3.2wp.quaternion()多形态构造器四元数构造器形态较多修复后每个带dtype的形态都参数化返回值over def quaternion(dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: ... # 零初始化 over def quaternion(quat: Quaternion[Float], dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: ... # 转换 over def quaternion(ijk: Vector[Float, Literal[3]], real: Float, dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: ... # 向量标量 over def quaternion(x: Float, y: Float, z: Float, w: Float, dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: ... # 四分量可见 warp/init.pyi 中的四组重载不带dtype时返回Quaternion[Float]由实参推断带dtype时返回Quaternion[DTypeFloat]。注意四元数仅接受浮点故使用DTypeFloat而非DTypeScalar。底层注册见 warp/_src/builtins.py其中export_funclambda input_types: {k: v for k, v in input_types.items() if k ! dtype}表明dtype只是编译期类型参数不参与运行时导出签名。3.3wp.quat_identity()本次修复的典型案例变更记录中特别点名了wp.quat_identity(dtypewp.float64)此前被报告为quatf的错误。修复后的重载为warp/init.pyiover def quat_identity() - quatf: Construct an identity quaternion with zero imaginary part and real part of 1.0. ... over def quat_identity(dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: Construct an identity quaternion with zero imaginary part and real part of 1.0. ...两个关键行为省略dtype返回文档化的默认结果类型quatf单精度四元数别名传入dtype返回被参数化的Quaternion[DTypeFloat]例如wp.quat_identity(dtypewp.float64)正确推断为Quaternion[float64]。运行时行为与类型桩保持一致见 warp/_src/builtins.py 的quat_identity_value_funcdef quat_identity_value_func(arg_types, arg_values): if arg_types is None: # return quaternion(dtypeFloat) return quatf dtype arg_types.get(dtype, float32) return quaternion(dtypedtype)dtype缺省时取float32与类型桩中无参重载返回quatf完全对应。add_builtin注册中defaults{dtype: None}、input_types{dtype: Float}表明dtype是可选的关键字参数。3.4wp.identity()单位矩阵def identity(n: int32 | int, dtype: type[DTypeScalar]) - Matrix[DTypeScalar, Any, Any]: Create an identity matrix with shape(n,n) with the type given by dtype. ...见 warp/init.pyi。此前该函数的结果类型忽略dtype现在Matrix[DTypeScalar, Any, Any]会随dtype参数化。3.5wp.tile_astype()tile 数据类型转换def tile_astype(t: Tile[Scalar, tuple[int, ...]], dtype: type[DTypeScalar]) - Tile[DTypeScalar, tuple[int, ...]]: Create a new tile with the same data as the input tile, but with a different data type. ...见 warp/init.pyi。该函数要求dtype为必传参数无缺省重载返回值Tile[DTypeScalar, tuple[int, ...]]保持形状、替换标量类型。底层tile_astype_value_funcwarp/_src/builtins.py在文档构建场景返回泛型tile(dtypeAny, shapetuple[int, ...])实际调用时返回tile(dtypedtype, shapetile_type.shape)形状从输入 tile 继承。3.6wp.tile_arange()变参等差数列 tileover def tile_arange(*args: Scalar, storage: str register) - Tile[float32, tuple[int]]: ... over def tile_arange(*args: Scalar, dtype: type[DTypeScalar], storage: str register) - Tile[DTypeScalar, tuple[int]]: ...见 warp/init.pyi。与quat_identity类似省略dtype时返回文档化的默认类型Tile[float32, tuple[int]]传入时参数化为Tile[DTypeScalar, tuple[int]]。运行时tile_arange_value_funcwarp/_src/builtins.py注释明确指出tile_arange()缺省dtype时默认float这与值构造器从实参推断的语义不同因此类型桩必须显式给出无参重载的float32结果。此外该实现还会显式拒绝结构体structdtype因为数值等差数列对结构体无意义。四、验证机制CI 静态类型检查夹具Warp 仓库通过专门的静态类型检查夹具来固化这些类型语义防止回归。该夹具位于 tools/ci/stub_typecheck_fixture.py配合tools/ci目录下的 CI 流程对warp/__init__.pyi运行 mypy 等类型检查器。夹具中的核心断言# 省略 dtype报告文档化的结果类型 assert_type(wp.tile_arange(4), wp.Tile[wp.float32, tuple[int]]) assert_type(wp.quat_identity(), wp.quatf) # 传入 dtype结果被参数化 assert_type(wp.tile_arange(4, dtypewp.uint32), wp.Tile[wp.uint32, tuple[int]]) assert_type(wp.quat_identity(dtypewp.float64), wp.Quaternion[wp.float64]) assert_type(wp.quaternion(dtypewp.float64), wp.Quaternion[wp.float64]) # dtype 前有默认参数时dtype 不得被误判为仅限位置参数 q64 cast(wp.Quaternion[wp.float64], wp.quatd()) assert_type(wp.transformation(p64, q64, dtypewp.float64), wp.Transformation[wp.float64]) # 同一套 dtype 参数约定在所有内建函数中一致生效 wp.vector(1.0, 2.0, length2, dtypewp.float64) wp.identity(n3, dtypewp.float64)值得注意的一个细节夹具还验证了默认参数位于dtype之前时dtype不会被误判为 keyword-only的场景——例如wp.transformation(p64, dtypewp.float64)的形态确保类型桩中重载参数的顺序与默认值声明不会破坏既有的调用约定。五、对开发者的实际影响5.1 类型检查从误报到精确推断修复后启用静态类型检查的 Warp 项目中以下写法均可通过检查并得到精确的结果类型import warp as wp q64 wp.quat_identity(dtypewp.float64) # Quaternion[float64] v64 wp.vector(1.0, 2.0, 3.0, dtypewp.float64) # Vector[float64, Any] m wp.identity(n3, dtypewp.float32) # Matrix[float32, Any, Any] t wp.tile_astype(some_tile, dtypewp.uint32) # Tile[uint32, tuple[int, ...]] r wp.tile_arange(4, dtypewp.uint32) # Tile[uint32, tuple[int]]这些精确类型会沿着调用链继续传播使依赖它们的数组赋值、数学运算、函数传参的类型检查都能得到正确结果而不是退化为Any或错误的quatf。5.2 对 IDE 与文档的连锁收益warp/__init__.pyi不仅是类型检查器的输入也是 IDE 自动补全与悬停提示hover以及 docs 中 API 参考文档自动生成的来源。dtype从值改为类型的标注意味着编辑器提示会引导用户正确传入类型对象文档生成的函数签名也更能反映真实的调用语义——dtype是一个类型参数而不是一个数值参数。5.3 边界约束需要留意的是DTypeFloat与DTypeScalar是带约束的 TypeVar分别限定了各内建函数可接受的 dtype 集合四元数、变换类函数仅接受浮点 dtypefloat16/bfloat16/float32/float64向量、矩阵与 tile 类函数额外接受全部整数 dtype。传入约束集合之外的类型如结构体 dtype会在类型检查阶段或运行时见tile_arange_value_func中对 struct dtype 的显式TypeError拒绝被拦截。六、总结本次变更本质上是一次类型桩层面的语义纠偏将dtype从值类型修正为类型对象类型type[DTypeScalar]/type[DTypeFloat]并通过成对的重载让省略 dtype 时返回文档化默认类型、传入 dtype 时结果类型被参数化这一运行时语义在静态类型层面得到完整表达。修复覆盖了wp.vector、wp.quaternion、wp.quat_identity、wp.identity、wp.tile_astype、wp.tile_arange六个内建函数族并以 tools/ci/stub_typecheck_fixture.py 中的assert_type断言固化为 CI 检查项。对于在大型 Warp 项目中使用 mypy / pyright 的开发者而言升级到包含该修复的版本后涉及 dtype 参数化内建函数的类型检查将不再误报双精度数学代码的类型安全也能得到真正保障。【免费下载链接】warpA Python framework for GPU-accelerated simulation, robotics, and machine learning.项目地址: https://gitcode.com/GitHub_Trending/warp/warp创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考 Warp 内建函数 dtype 参数类型标注修复：从“值“到“类型“的类型桩重构解析
Warp 内建函数 dtype 参数类型标注修复从值到类型的类型桩重构解析【免费下载链接】warpA Python framework for GPU-accelerated simulation, robotics, and machine learning.项目地址: https://gitcode.com/GitHub_Trending/warp/warp本篇技术文章聚焦 NVIDIA WarpPython GPU 高性能仿真与机器学习框架中一次针对内建函数类型桩type stub的修复wp.vector()、wp.quaternion()、wp.quat_identity()、wp.identity()、wp.tile_astype()、wp.tile_arange()等接受dtype参数的内建函数其dtype参数此前被类型标注为值而非类型导致类型检查器如 mypy / pyright给出错误的推断结果。读完本文你将理解该问题产生的根本原因、修复前后的类型语义差异、类型桩中type[...]与TypeVar的协作机制以及 Warp 仓库中用于验证该修复的静态类型检查夹具的用法。一、问题背景dtype被当作值而非类型在 Python 类型系统中值value与类型type是两个截然不同的概念。当一个函数参数期待的是wp.float64这样的类型对象时类型标注必须写成type[wp.float64]或更泛化的type[DTypeScalar]而不是wp.float64本身。二者语义差异巨大wp.float64是类型标注annotation表示参数的值必须是float64类型的实例type[wp.float64]表示参数的值必须是float64这个类/类型对象本身。而 Warp 的内建函数built-ins在调用时dtype参数传的恰恰是类型对象wp.quat_identity(dtypewp.float64)中的wp.float64是一个类型对象而不是某个 float64 数值。此前warp/__init__.pyi类型桩中把dtype标注成了普通值类型导致静态类型检查出现两类错误误报类型不匹配向dtype传入wp.float64这类类型对象时检查器认为参数类型不符合要求而报错使得合法的调用被错误标记为类型错误结果类型推断错误即使传入了dtype返回值类型也没有依据它进行参数化parameterize例如wp.quat_identity(dtypewp.float64)被错误地报告为quatf单精度四元数而非Quaternion[float64]导致后续针对双精度四元数的类型操作全部推断错误。该修复对应的变更记录见 changelog/builtin-dtype-type-hints.fixed.md属于 Warp 仓库中基于 towncrier 的变更碎片fragment体系最终会合并进 CHANGELOG.md 的发布说明中。二、修复方案dtype参数改为type[DType...]类型对象标注修复的核心动作是把类型桩中所有接收dtype的内建函数重载overload的dtype参数从普通类型标注改为type[...]形式并让返回值类型由传入的dtype参数化。TypeVar 的定义位于 warp/init.pyiDTypeFloat TypeVar(DTypeFloat, float, float16, bfloat16, float32, float64) DTypeScalar TypeVar(DTypeScalar, int, float, int8, uint8, int16, uint16, int32, uint32, int64, uint64, float16, bfloat16, float32, float64)DTypeFloat约束为浮点类型集合用于四元数、变换等仅支持浮点的内建函数DTypeScalar覆盖整数与浮点全集用于向量、矩阵、tile 等标量内建函数。以修复后的重载为例见 warp/init.pyiover def vector(*args: Scalar, length: int32 | int ..., dtype: type[DTypeScalar]) - Vector[DTypeScalar, Any]: Construct a vector of given length and dtype. If no arguments are given, the vector is zero-initialized. ...这里dtype: type[DTypeScalar]明确声明请传入一个类型对象且该类型必须属于 DTypeScalar 约束集合返回值Vector[DTypeScalar, Any]中的DTypeScalar与参数绑定实现结果类型随入参自动参数化。三、逐函数解析修复前后的类型桩对照本次修复涉及六类内建函数全部位于 warp/init.pyi 类型桩文件中。3.1wp.vector()零参数构造 dtype 参数化# 未传 dtype结果类型由 *args 推断 over def vector(*args: Scalar, length: int32 | int ...) - Vector[Scalar, Any]: ... # 传入 dtype结果类型由 dtype 决定 over def vector(*args: Scalar, length: int32 | int ..., dtype: type[DTypeScalar]) - Vector[DTypeScalar, Any]: ...两种重载分别覆盖从实参推断与显式指定 dtype两种用法。对应运行时的add_builtin(vector, ...)注册warp/_src/builtins.py中input_types{*args: Scalar, length: int, dtype: Scalar}defaults{length: None, dtype: None}即dtype为可选参数、缺省时从实参推断——这与类型桩中的两个over一一对应。3.2wp.quaternion()多形态构造器四元数构造器形态较多修复后每个带dtype的形态都参数化返回值over def quaternion(dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: ... # 零初始化 over def quaternion(quat: Quaternion[Float], dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: ... # 转换 over def quaternion(ijk: Vector[Float, Literal[3]], real: Float, dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: ... # 向量标量 over def quaternion(x: Float, y: Float, z: Float, w: Float, dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: ... # 四分量可见 warp/init.pyi 中的四组重载不带dtype时返回Quaternion[Float]由实参推断带dtype时返回Quaternion[DTypeFloat]。注意四元数仅接受浮点故使用DTypeFloat而非DTypeScalar。底层注册见 warp/_src/builtins.py其中export_funclambda input_types: {k: v for k, v in input_types.items() if k ! dtype}表明dtype只是编译期类型参数不参与运行时导出签名。3.3wp.quat_identity()本次修复的典型案例变更记录中特别点名了wp.quat_identity(dtypewp.float64)此前被报告为quatf的错误。修复后的重载为warp/init.pyiover def quat_identity() - quatf: Construct an identity quaternion with zero imaginary part and real part of 1.0. ... over def quat_identity(dtype: type[DTypeFloat]) - Quaternion[DTypeFloat]: Construct an identity quaternion with zero imaginary part and real part of 1.0. ...两个关键行为省略dtype返回文档化的默认结果类型quatf单精度四元数别名传入dtype返回被参数化的Quaternion[DTypeFloat]例如wp.quat_identity(dtypewp.float64)正确推断为Quaternion[float64]。运行时行为与类型桩保持一致见 warp/_src/builtins.py 的quat_identity_value_funcdef quat_identity_value_func(arg_types, arg_values): if arg_types is None: # return quaternion(dtypeFloat) return quatf dtype arg_types.get(dtype, float32) return quaternion(dtypedtype)dtype缺省时取float32与类型桩中无参重载返回quatf完全对应。add_builtin注册中defaults{dtype: None}、input_types{dtype: Float}表明dtype是可选的关键字参数。3.4wp.identity()单位矩阵def identity(n: int32 | int, dtype: type[DTypeScalar]) - Matrix[DTypeScalar, Any, Any]: Create an identity matrix with shape(n,n) with the type given by dtype. ...见 warp/init.pyi。此前该函数的结果类型忽略dtype现在Matrix[DTypeScalar, Any, Any]会随dtype参数化。3.5wp.tile_astype()tile 数据类型转换def tile_astype(t: Tile[Scalar, tuple[int, ...]], dtype: type[DTypeScalar]) - Tile[DTypeScalar, tuple[int, ...]]: Create a new tile with the same data as the input tile, but with a different data type. ...见 warp/init.pyi。该函数要求dtype为必传参数无缺省重载返回值Tile[DTypeScalar, tuple[int, ...]]保持形状、替换标量类型。底层tile_astype_value_funcwarp/_src/builtins.py在文档构建场景返回泛型tile(dtypeAny, shapetuple[int, ...])实际调用时返回tile(dtypedtype, shapetile_type.shape)形状从输入 tile 继承。3.6wp.tile_arange()变参等差数列 tileover def tile_arange(*args: Scalar, storage: str register) - Tile[float32, tuple[int]]: ... over def tile_arange(*args: Scalar, dtype: type[DTypeScalar], storage: str register) - Tile[DTypeScalar, tuple[int]]: ...见 warp/init.pyi。与quat_identity类似省略dtype时返回文档化的默认类型Tile[float32, tuple[int]]传入时参数化为Tile[DTypeScalar, tuple[int]]。运行时tile_arange_value_funcwarp/_src/builtins.py注释明确指出tile_arange()缺省dtype时默认float这与值构造器从实参推断的语义不同因此类型桩必须显式给出无参重载的float32结果。此外该实现还会显式拒绝结构体structdtype因为数值等差数列对结构体无意义。四、验证机制CI 静态类型检查夹具Warp 仓库通过专门的静态类型检查夹具来固化这些类型语义防止回归。该夹具位于 tools/ci/stub_typecheck_fixture.py配合tools/ci目录下的 CI 流程对warp/__init__.pyi运行 mypy 等类型检查器。夹具中的核心断言# 省略 dtype报告文档化的结果类型 assert_type(wp.tile_arange(4), wp.Tile[wp.float32, tuple[int]]) assert_type(wp.quat_identity(), wp.quatf) # 传入 dtype结果被参数化 assert_type(wp.tile_arange(4, dtypewp.uint32), wp.Tile[wp.uint32, tuple[int]]) assert_type(wp.quat_identity(dtypewp.float64), wp.Quaternion[wp.float64]) assert_type(wp.quaternion(dtypewp.float64), wp.Quaternion[wp.float64]) # dtype 前有默认参数时dtype 不得被误判为仅限位置参数 q64 cast(wp.Quaternion[wp.float64], wp.quatd()) assert_type(wp.transformation(p64, q64, dtypewp.float64), wp.Transformation[wp.float64]) # 同一套 dtype 参数约定在所有内建函数中一致生效 wp.vector(1.0, 2.0, length2, dtypewp.float64) wp.identity(n3, dtypewp.float64)值得注意的一个细节夹具还验证了默认参数位于dtype之前时dtype不会被误判为 keyword-only的场景——例如wp.transformation(p64, dtypewp.float64)的形态确保类型桩中重载参数的顺序与默认值声明不会破坏既有的调用约定。五、对开发者的实际影响5.1 类型检查从误报到精确推断修复后启用静态类型检查的 Warp 项目中以下写法均可通过检查并得到精确的结果类型import warp as wp q64 wp.quat_identity(dtypewp.float64) # Quaternion[float64] v64 wp.vector(1.0, 2.0, 3.0, dtypewp.float64) # Vector[float64, Any] m wp.identity(n3, dtypewp.float32) # Matrix[float32, Any, Any] t wp.tile_astype(some_tile, dtypewp.uint32) # Tile[uint32, tuple[int, ...]] r wp.tile_arange(4, dtypewp.uint32) # Tile[uint32, tuple[int]]这些精确类型会沿着调用链继续传播使依赖它们的数组赋值、数学运算、函数传参的类型检查都能得到正确结果而不是退化为Any或错误的quatf。5.2 对 IDE 与文档的连锁收益warp/__init__.pyi不仅是类型检查器的输入也是 IDE 自动补全与悬停提示hover以及 docs 中 API 参考文档自动生成的来源。dtype从值改为类型的标注意味着编辑器提示会引导用户正确传入类型对象文档生成的函数签名也更能反映真实的调用语义——dtype是一个类型参数而不是一个数值参数。5.3 边界约束需要留意的是DTypeFloat与DTypeScalar是带约束的 TypeVar分别限定了各内建函数可接受的 dtype 集合四元数、变换类函数仅接受浮点 dtypefloat16/bfloat16/float32/float64向量、矩阵与 tile 类函数额外接受全部整数 dtype。传入约束集合之外的类型如结构体 dtype会在类型检查阶段或运行时见tile_arange_value_func中对 struct dtype 的显式TypeError拒绝被拦截。六、总结本次变更本质上是一次类型桩层面的语义纠偏将dtype从值类型修正为类型对象类型type[DTypeScalar]/type[DTypeFloat]并通过成对的重载让省略 dtype 时返回文档化默认类型、传入 dtype 时结果类型被参数化这一运行时语义在静态类型层面得到完整表达。修复覆盖了wp.vector、wp.quaternion、wp.quat_identity、wp.identity、wp.tile_astype、wp.tile_arange六个内建函数族并以 tools/ci/stub_typecheck_fixture.py 中的assert_type断言固化为 CI 检查项。对于在大型 Warp 项目中使用 mypy / pyright 的开发者而言升级到包含该修复的版本后涉及 dtype 参数化内建函数的类型检查将不再误报双精度数学代码的类型安全也能得到真正保障。【免费下载链接】warpA Python framework for GPU-accelerated simulation, robotics, and machine learning.项目地址: https://gitcode.com/GitHub_Trending/warp/warp创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考