Can confirm. I once watched an engineer build a beautiful, functional subscription management system. When I asked him some practical questions he said "Elegant programs allow us to code as though the physical machine doesn't exist"

The only problem was that under real conditions his code behaved like the stack was infinite; you know like it is in a theoretical computer.