Linking the Dots #6: The “blind, unverified, external symbolic imports” Mental Model of Forward Declarations of Variables and Functions
intuitively 可以把 forward declaration of variables and functions 理解成一种基于信任的、盲目的、无验证的 external symbolic imports, 而且具体的工作会交予两个参与者：