A nice read: Andrew P. Black: Object-oriented programming: Some history, and challenges for the next fifty years.

"While semantic unification can lead to a true simplification in the design of a language, syntactic unification may be a mistake."

(There's plenty more good, deeper, stuff in the paper, but copy-pasting from a pdf leads to formatting hell here.)