犹他大学 发布 If-T 数据集, 应用在 类型系统、编程语言 领域

犹他大学 本次发布的数据集 If-T, If-T是一个用于类型缩小的语言无关设计基准，用于评估和比较类型缩小系统的能力。它通过一系列简单程序来展示类型缩小系统的核心行为，并包含五个类型检查器的实现，包括TypeScript、Flow、Typed Racket、mypy和Pyright。If-T旨在帮助语言设计师和研究人员更好地理解类型缩小系统的设计空间和权衡，并促进类型缩小系统的进一步发展。

查看If-T

关于 犹他大学 , 犹他大学（University of Utah）位于美国犹他州盐湖城，是一所公立研究型大学，成立于1850年。该校在计算机科学、工程、医学等领域享有盛誉，尤其在计算机图形学和人工智能领域有显著的研究成果。犹他大学也是美国西部最古老的大学之一，拥有丰富的学术资源和研究设施。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。