Comment by Groxx
looks fantastic, and rust is probably a great language for this since ownership restricts effects - even if you add it to python, you can't really trust it, because at runtime you can just run up a call stack and modify memory at any time. (though I would still definitely want it, as it's usually going to be correct)
(Author here) That's exactly why I built this for Rust, and why it's difficult to replicate in any other language.