A few good ideas in programming languages