标签: benchmarking dependent-type ats
不久前,"ATS" programming language已从Computer Language Benchmarks Game移除。您仍然可以通过返回机器view the old pages。
为什么ATS编程语言不再包含在计算机语言基准游戏中?
答案 0 :(得分:5)
According to this post:
不幸的是,没有有效的方法可以确保贡献的安非他明类兴奋剂计划与其他已捐助的计划相当。没有足够的ATS专家。