Loss of Abstraction
No way to hold types abstract if they can always be analyzed
Clients allowed to break abstraction barriers and infer more information than desired
Host
Client
bool ref
capability
Previous slide
Next slide
Back to first slide
View graphic version