为什么ATS语言从计算机语言基准游戏中删除?

mrs*_*eve 5 benchmarking dependent-type ats

不久前,"ATS"编程语言已从计算机语言基准游戏中删除.您仍然可以通过后机查看旧页面.

为什么ATS编程语言不再包含在计算机语言基准游戏中?

int*_*jay 5

根据维护者的这篇文章:

遗憾的是,没有有效的方法可以确保提供的安非他明类兴奋剂计划与其他已提供的计划相当.没有足够的ATS专家.

  • 更准确地说,这就是为什么不包括ATS2的答案.ATS程序被删除,因为当ATS2发布时,这些程序不适用于ATS2; 几个月后,当有机会收集ATS2的新计划时,我重新评估了ATS的包含是如何计算出来的. (2认同)