If I understand correctly, catering to C on modern mainstream processors results in excessively complex C compilers and excessive power consumption. If I furth

If I understand correctly, catering to C on modern mainstream processors results in excessively complex C compilers and excessive power consumption. If I further understand correctly, the author observes at least one solution: processor design free from enabling C's rosy picture of today's processor. Which is cool. But what languages, or classes of languages, or maybe program architectures, are best deployed on the processors we have today? The author seems to suggest functional languages?