Not everyone agrees on what it means for a programming language to be proper, and that's unlikely to change.