There is this idea that the current approach to parallel programming is wrong. When spawning a thread, there is instantly a huge space of possible paths for the program to go through. The coder then proceeds to prune off all paths that will lead to bad results, with the usual arsenal of mutex, semaphores, locks etc. etc. It's intellectually unbearable.

The alternative would be to explicitly specify which paths are allowable, rather than allow them all and then forbid which isn't.

I don't know how that would work, I don't remember who said it. Still, it feels good.