"Meaning", type-piracy, and method merging

[StefanKarpinski]

Examples where it seemed to me that you are saying this:

@TsurHerman

Binary compilation of Modules: due to the way multiple dispatch currently works, it is impossible to compile module M to a useful encapsulated binary since any subsequent module import or loading may change one or more of its functions, this is specially true for Base, as the current state of affairs encourages changes to it

@TsurHerman

Lets say you want to save all of your compiled code, to avoid re-jitting over and over again, this is crucial when developing large amounts of code

@TsurHerman

This is possible only if you can guarantee that your cache would behaves the same if read from cache and if it was just now compiled.

@TsurHerman

And you had to recompile everything, every time you exited the REPL or restarted a session.

Perhaps I’m misunderstanding what you’re saying but it seems a lot like your position is that the way method extension and dispatch works in Julia either prevents us from caching compiled code or causes us to have to recompile code all the time (or both). You don’t seem to have directly addressed the various technical points that @yuyichao, @jameson, @jeff.bezanson or myself have raised. It is of course possible that we have all misunderstood your position, but if so, then it would be helpful to clarify what your actual position is.