Hacker News Reader

I do love recursion, however is static allocation of activation records sometimes a useful feature (e.g. for safety critical or embedded systems)?

Sure. You can prove termination, bounded runtime space, and bounded runtime performance.

FORTRAN being the most prominent example