Re:Leaky Abstractions
by lmm on Thursday June 03, 2021 @03:52PM
(#27386433)
An abstraction doesn't mean you can close your eyes and everything will work by magic. They're extremely useful tools, but like I said: garbage in, garbage out.
[ Parent
| on HN ]
> 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".
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".