Research, sure, but it doesn't ignore the last decade of practical experience writing programs. A programming language is a user interface. The theory isn't all

Research, sure, but it doesn't ignore the last decade of practical experience writing programs. A programming language is a user interface. The theory isn't all that matters.