2 ms·
The dishwasher example is a leaky abstraction (like all abstractions) Cleaning the dishes before putting them in the dishwasher is done purely because of physi
by nextaccountic 3y ago
The dishwasher example is a leaky abstraction (like all abstractions)
Cleaning the dishes before putting them in the dishwasher is done purely because of physics reasons, but it surfaces into the human layer. Likewise the position of the dishes etc
You could try to design a dishwasher that minimizes this "leakage", for example, by providing a robotic arm to remove the bulk of food, but not surfacing lower level details into the higher level layers is fundamentally impossible
- Spivak 3y agoBut that surfaces to the human layer as a precondition, just because the reason for the precondition is based on the physical layer doesn't necessarily mean it breaks the abstraction. I still need no knowledge of the how the dishes actually get cleaned.
- bluGill 3y agoYou need knowledge or you will put a closed jar in and discover it doesn't clean inside.