3 ms·

I would argue that the "correct" behavior of a RAM chip is an abstraction over the actual physical behavior. That abstraction leaks when the actual physical be

I would argue that the "correct" behavior of a RAM chip is an abstraction over the actual physical behavior. That abstraction leaks when the actual physical behavior of a RAM chip differs from the abstract specification that it implements.

lmm 6y ago
That's not exactly false, but at that point you might as well say that anything that breaks is an abstraction leak. If my car won't start in the morning, is that an "abstraction leak"? I don't think it is (or at least I don't think it's a useful perspective to see it as one), because the problem wasn't that I was thinking of the abstract notion of a car rather than the details of a bunch of different components connected together in particular ways; the problem is that one or more of those components is broken (or maybe that some of the components are put together wrong).