On Understanding Data Absraction, Revisited

I just got back from OOPSLA/Onward! where I presented an essay On Understanding Data Abstraction, Revisited. There is a discussion about it on Lambda the Ultimate. Here are the slides from the talk. The talk went pretty well. There was a nice discussion with the audience. Unfortunately the paper is pretty technical, so some people in the audience didn't get it. I suppose now I need to write the book...

3 comments:

Mike Hicks said...

I really liked the paper! I read it following the posting on LtU. I'm glad it was technical -- the clarity of the definitions really helped me see the differences between ADTs and objects. The key is your definition of object. I think people largely agree on what an ADT is, but they are confused about what an object is, thanks to the notion offered in modern languages, which you argue convincingly contains elements of pure objects and ADTs. So blame Bjarne and James as much as the textbooks, I say. Well done, and thanks!

jkff said...

William, the link to slides is broken (I came here from LTU, where the same link is presented and also broken). Could you please provide a correct link?

William Cook said...

Fixed!