Re:Leaky Abstractions
by klodolph on Thursday June 03, 2021 @08:16PM
(#27389018)
> An abstraction doesn't mean you can close your eyes and everything will work by magic.
Right... that's why they're called "leaky abstractions". Because when you don't pay attention to the implementation details and their constraints, things break.
If it weren't leaky, you'd call it a "specification" instead of an "abstraction".
Re:Leaky Abstractions
by lmm on Thursday June 03, 2021 @10:37PM
(#27389933)
Requirements are not the same thing as implementation details. 2 + 2 = 4 is a sound abstraction, the fact that 1 + 2 doesn't = 4 doesn't make it "leaky".
Right... that's why they're called "leaky abstractions". Because when you don't pay attention to the implementation details and their constraints, things break.
If it weren't leaky, you'd call it a "specification" instead of an "abstraction".