When you are handed a string, integer, or any value type, can you know what it really represents?  Can you define the range of appropriate behaviors for that data?  Can you tell if it's formatted correctly?   The problem is, in all of these cases, you can't.  You can't be sure of it's meaning, it's format or even how to ...

It's time to leave the secondary, external structure of our programs behind. If you can treat the reflected code from a programming language like an abstract data structure, why can’t you just keep the source itself in a similarly abstracted data structure? Isn’t the structure of a program more similar to a graph, than a list? Besides the momentum ...