Smalltalk and the Metaobject Protocol are things to revile and shun. They aren't elegant programming models and they aren't even internally consistent programm

Smalltalk and the Metaobject Protocol are things to revile and shun. They aren't elegant programming models and they aren't even internally consistent programming models. If you read Smalltalk papers, they aren't really compsci papers at all. They're musings about some ideas they tried and how well they thought they worked afterwards. The language world is moving to a more coherent, formal, mathematical understanding of type systems, programming languages, and automatable proof systems.