I think you are right; hardware does not affect languages at this point in time, but I don't doubt that it will in the future.

Hm. All the signs are that more and more, languages will present higher and higher level abstractions of the programming model and the hardware will adapt to the software view.

For example, storage system manufacturers are beginning to move away from the bytes, blocks and files view of the disks and SSDs they manage, and moving to an Object-oriented view, which does away with the need to convert binary memory objects to some intermediate format (eg.JSON) so they can be written out as files via the file system.

CPUs currently have 3 or 4 levels of caching; much of which is split into separate instruction and data caches. I wouldn't mind betting that it won't be long before we have another type of on-chip caching; namely, a dedicated stack cache. Due to their nature and use, stacks have really good locality of reference, which makes breaking them up into typically short (16byte) cache lines and mixing them up with the random access of heap storage, is sub optimal. Better to have stacks cached in 2k or 4k chunks and keep them in memory between task switches where possible. Segregating stack caches would allow relatively small amount of dedicated on-cpu real estate to keep the stacks of many/most threads alive between context switches, whilst preventing the stack memory from 'polluting' the general data caches.

Further, hypervisers are well on their way to virtualising everything: disks, memory, networks, ports, cpus, gpus et.al. Essentially, the 'computer' where your programs run is nothing more than a figment of the hypervisors imagination. The programmers view may be of a single 32-bit cpu with 2GB of ram and a local harddrive; with the reality being that it is a VM that may be running on 1 of 32 cores on a 64-bit 4-cpu blade in a farm of machines with 128GB memory and the drive provisioned from a multi-tiered remote drive array.

And the actual hardware might be x64, or ARM or Solaris or Power 8; and neither the program nor the programmer need be aware which.