This is interesting. While languages like Python, Lisp and probably Lua can run on a microcontroller, they are never going to be completely trusted unless you have control over memory use. In Jinx it seems like you can/must define your own memory allocation function.