> I'm interested in examining the idea of a programming language that eschews the notion of a callstack and returns to having a single fixed activation record p

> I'm interested in examining the idea of a programming language that eschews the notion of a callstack and returns to having a single fixed activation record per function. Welcome to the old 8-bit C compilers. Everything was statically allocated so no recursion. The downside is that you can only have a single thread of execution. It would be interesting to see what that would look like if extended to multiple threads (they would have to be defined/allocated at compile time).