grand unified definition of "dynamic language": a language where every operation has what the C specs would call "undefined behavior"
-
No. Static binding means some guarantees can be determined prior to runtime. E.g. "This chuck of code will run when this procedure is invoked." BUT, if you give up static guarantees, you get flexibility in return. E.g. "In this scope, we can override that procedure."
Except we can do this in C as well if the function wasn't inlined (ld_preload or actually overwriting the function pointer at runtime are both valid interpretations of what I mean)
