4 ms·

For me the most interesting part of T1 is the ability to strongly guarantee maximum stack usage, and the accompanying ban on general recursion. Are there any ot

For me the most interesting part of T1 is the ability to strongly guarantee maximum stack usage, and the accompanying ban on general recursion. Are there any other languages or compilers that do this?

stefano 7y ago
I think Ada, in its SPARK dialect, should be able to do this.
zokier 7y ago
Resource Aware ML is a research language which analyzes resource usage, including memory bounds http://raml.co/ http://raml.co/
MrBuddyCasino 7y ago
Rust does: https://github.com/japaric/cargo-call-stack https://github.com/japaric/cargo-call-stack