Search code examples
benchmarkingdependent-typeats

Why was the ATS language dropped from the Computer Language Benchmarks Game?

Not too long ago the "ATS" programming language was removed from the Computer Language Benchmarks Game. You can still view the old pages via the way back machine.

Why is the ATS programming language no longer included in the Computer Language Benchmarks Game?

Solution

  • According to this post by the maintainer:

    Unfortunately, there was no effective way to make sure that contributed ATS programs were comparable to the other programs that had been contributed. There are not enough ATS experts.