> I would like to see him do something more expansive on the tradeoffs between objects and ADTs (hint hint).
I'm probably not the best person to answer that. My knowledge of real academic theory isn't as strong as I'd like, especially around type systems.
I assume you've read William Cook's paper on the same topic ("Object-Oriented Programming Versus Abstract Data Types")? I skimmed it a while back and felt like it clicked for a while but it's sadly unclicked since then. It's on my (interminably long) list of paper to try to grok better.
Well it was worth a shot anyway (you made some comment in that area before that I thought was good). I need to go back over that Cook paper myself. Thanks for reminding me.
I'm probably not the best person to answer that. My knowledge of real academic theory isn't as strong as I'd like, especially around type systems.
I assume you've read William Cook's paper on the same topic ("Object-Oriented Programming Versus Abstract Data Types")? I skimmed it a while back and felt like it clicked for a while but it's sadly unclicked since then. It's on my (interminably long) list of paper to try to grok better.