MapReduce is a distributed computation tool at Google. It uses a constrained programming model (map and reduce, common functional programming techniques) to let users describe their computations in a way that make automated fault-tolerant distribution possible. It sounds like a great example of diamond cutting: finding the right compromise between what you want and what your users want, so that everyone wins.