[slightly OT] Does anyone think that Implicit Computational Complexity should be explored in some "real" programming language?

Although current achievements are probably far away from being really meaningful in practice, I see some potential. For instance, I think it would be cool for a cloud provider to have bounds on the running time of programs sent by clients, just because code is written in a certain language.