https://jonlu.ca/posts/leaky-abstractions
Leaky vs punch-through abstractions | JonLuca's Blog
leakyvspunchabstractionsblog
https://dashbit.co/blog/type-systems-are-leaky-abstractions-map-take
Type systems are leaky abstractions: the case of Map.take!/2 - Dashbit Blog
Adding a type system to an existing dynamic language is a great exercise in showing all of the different ways type systems restrict the expressive power of...
the case of
https://webglossary.info/terms/law-of-leaky-abstractions/
Law of Leaky Abstractions · WebGlossary.info · Uncover Your Unknowns in Web Development
law of leaky abstractions