Tue May 21 10:25:07 EDT 2019
Abstraction is auto-lifting
It seems that "glossing over" basically boils down to discarding
wrapping wrapping. I.e. one thing is another thing, except for some
Obviously the wrapping is there for a reason, since it carries with it
the implementation, the information of why this abstraction is a lie.
This can be done both on simple wrapping (take one thing and turn it
into another one thing), or abstracting a collection of things as a
single prototype thing.
It all wraps so eerily to parameterized types.