Looking forward to have this capability in Julia. Is some concept of language support for traits/ interfaces and/or static typing part of this effort? Also, w

Looking forward to have this capability in Julia. Is some concept of language support for traits/ interfaces and/or static typing part of this effort? Also, would there be different levels of leanness for the static compile? I can see some people wanting binaries that use a minimal runtime or GC, but no heavy JIT etc so that a larger set of programs can be distributed but at some tradeoff.