4 ms·

So there's no run-time dynamic linking? Or is it possible, but only with additional metadata files present? Or maybe the assumptions are statically verified acc

So there's no run-time dynamic linking? Or is it possible, but only with additional metadata files present? Or maybe the assumptions are statically verified according to the interface and it is assumed that they are never broken by clients?

Rusky 12y ago
The last one. Types are stored as metadata in the object files, those types are verified at build time, and then assumed correct at run time.
- wfunction 12y ago
  Gotcha, thanks!