文件名称：typhon:python的静态类型推断。 （在制品）
文件大小：48KB
文件格式：ZIP
更新时间：2024-04-28 08:08:35
python transpiler type-inference Python
龙卷风 Python的静态类型推断。 目的是尽可能地推断出没有显式符号的类型。 由于通常无法确定具有多态性的系统，因此我们采用近似值。 目前，Typhon仅使用python 3.8进行了测试。 将来将有更多版本兼容。 状态：重建，初步 支持： 整数算术（全面支持） 变量分配和链式分配 基本的用户定义函数，带递归，不带可变长度参数或关键字参数 基本功能变量 基本的高阶函数 基本list （当前仅同类型元素；缺少某些库函数） If / While / For语句 IfExp（ a if cond else b ）语法 and ， or not 将很小的语法子集转换为高级IR 对异常的基本支持 短期目标： 支持更多的transpiler构造 导入系统 费力的工作（可能是从动态运行的测试用例中生成的？）： 为大多数内置函数实现内在函数 导入标准库的类型信息 中期目标： 支持元组和
【文件预览】：
typhon-master
----run_tests.py(186B)
----typhon()
--------transpiler()
--------utils.py(263B)
--------core()
--------__init__.py(84B)
--------tests()
----LICENSE(11KB)
----typhon-hir-backend()
--------TyphonHIRBackend()
--------typhon-hir-backend.csproj(224B)
--------Program.cs(1021B)
----README.md(2KB)
----.gitignore(37B)