I’d like to share something interesting 
Recently, our AOT compiler (made by my team) has nearly achieved full support for type-stable Julia code, including exception handling, multiple dispatch and arbitrary complex constant data.
Something interesting is that our generated native code greatly outperforms vanilla Julia in terms of try-catch-finally statements, while in general cases our AOT Julia is slightly slower than the vanilla.