> at which point will they become a frontend syntax for ocaml or julia ? At no point. What probably will happen is that both the JS and the Python reference i

> at which point will they become a frontend syntax for ocaml or julia ? At no point. What probably will happen is that both the JS and the Python reference implementations will have first class support for type systems which will allow them to generate optimized native code for the typed sections of your code while keeping the untyped sections as bytecode or as higher level compiled code (i.e. a bunch of runtime function calls dealing with tagged union objects).