Comment by adamddev1

There is a bunch of research happening around "Resource-Aware" type theory. This kind of type theory checks performance, not just correctness. Just like the compiler can show correctness errors, the compiler could show performance stats/requirements.

https://arxiv.org/abs/2205.15211

Already we have Resource Aware ML which

> automatically and statically computes resource-use bounds for OCaml programs

https://www.raml.co/about/