文件名称：arf:微小的研究语言，用于研究如何使用递归函数调用对程序进行类型检查
文件大小：20KB
文件格式：ZIP
更新时间：2024-05-31 00:23:22
type-system OCaml
分配递归流（ARF） 这是一个很小的语言演算，旨在研究在执行全程序分析时如何有效地对递归函数进行类型检查。 对于全程序类型检查器（例如我为Python源代码编写的类型检查器）而言，这样的过程非常重要。 这项研究现已完成。 如果您对理论感兴趣，请继续阅读以获取详细信息。 另一方面，如果您只想尝试ARF类型检查器，请跳至“尝试ARF！”。 下面的部分。 抽象的 我有一种算法，可以在O（m·n）最坏的情况下完全键入基于递归分配的程序，其中： m是程序中功能的总数，并且 n是程序中最大的相互递归函数组中的函数数。 ARF语言 以下是一个（效率低下且人为设计的）Python程序，该程序测试指定的整数> = 0是偶数还是奇数： def main(args): k = int(args[0]) result = is_even(k) return result def
【文件预览】：
arf-master
----.gitignore(51B)
----README.md(13KB)
----src()
--------TypeChecker.ml(21KB)
--------_tags(185B)
--------Arf.ml(12KB)
--------Ast.ml(738B)
--------TypeCheckerTest.ml(20KB)
----samples()
--------infinite_loop_self.arf(60B)
--------infinite_loop_mutual.arf(129B)
--------call_identity_in_multiple_contexts.arf(345B)
--------return_literal.arf(40B)
--------recursion_mutual_with_nested_return.arf(144B)
--------return_union_type.arf(117B)
--------recursion_self.arf(180B)
--------call_identity.arf(101B)
--------recursion_mutual.arf(572B)
--------is_even.py(431B)
--------is_even.arf(572B)
--------return_arg.arf(26B)
----Makefile(901B)