I fear the general difficulty of this means nothing will happen...until something really different happens. Let's get our programs in really high level language

I fear the general difficulty of this means nothing will happen...until something really different happens. Let's get our programs in really high level languages in the meantime that will compile to wildly different architectures. I've compiled Haskell to CPUs and Haskell to FPGAs, but idioms don't overlap except for the most foundational libraries (Functor, Applicative, Monad). That's still great, but that's nowhere yet near "let me compile my CRUD app to my FPGA." More FRP for the CPU could change that, though. FPGAs can do self-rewriting circuits since they are programmable.