# "Meaning", type-piracy, and method merging

**URL:** <https://discourse.julialang.org/t/meaning-type-piracy-and-method-merging/11003>\
**Category:** Internals & Design\
**Tags:** type-piracy\
**Created:** [May 18, 2018, 8:11pm UTC](https://discourse.julialang.org/t/meaning-type-piracy-and-method-merging/11003 "2018-05-18T20:11:10Z")\
**Posts on this page:** 1\
**Showing post:** 53

<div class="post-metadata">

**Author:** ![StefanKarpinski](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stefankarpinski/32/24_2.png) [@StefanKarpinski](https://discourse.julialang.org/u/StefanKarpinski)\
**Post date:** [June 1, 2018, 6:37pm UTC](https://discourse.julialang.org/t/meaning-type-piracy-and-method-merging/11003/53 "2018-06-01T18:37:28Z")

</div>

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

> [@Julep: Taking multiple dispatch,export,import,binary compilation seriously](https://discourse.julialang.org/t/julep-taking-multiple-dispatch-export-import-binary-compilation-seriously/10882/1):
>
> 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.

---

_[View the full topic](https://discourse.julialang.org/t/meaning-type-piracy-and-method-merging/11003)._
