Hacker News new | past | comments | ask | show | jobs | submit login

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?



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.


Gotcha, thanks!




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: