> We have plenty of examples of good abstraction already (programming languages, operational systems, databases...). After we get one, most people stop even thinking that it's prossible to program without them.

Right. And that's why we're how many versions of Windows, Linux, FreeBSD, and OSX in? PHP, Python, .Net, VB, Ruby, GoLang, Rust, Objective C, Swift.

And so the dance continues.