I like how this explains the details. One can easily dismiss use of this kind of stringly typed construct, but once you see how abstraction enables optimizatio

I like how this explains the details. One can easily dismiss use of this kind of stringly typed construct, but once you see how abstraction enables optimizations in implementation, it's kind of win-win.