There are a bunch of related stuff that's interesting:
- code slicing (known as code-splitting in JS community).
- round-trip compilation