Apr 19, 2021
* What is it we know statically?
* What's effectively discoverable only at runtime?
* How do we tell "the machine" (compiler and/or hardware):
* Things we *know* to be true...
* Things we *expect* to be true...
* Things we *expect* to be true but *want to do something about*
when it's not...
* Things we have no idea...