On Understanding Data Abstraction (PDF)
cs.utexas.edu/~wcook/Drafts/2009/essay.pdfPosted Nov 2, 2009, 1:01 AM UTC
2811
cs.utexas.edu
I hate it when people try to say that objects are data abstractions. They can just as easily be behavioral abstractions.
2
It's true. But the problem is that they aren't very good at it.
1
[deleted]
1
Isn't this the same as the difference between structural and nominal typing?
1
down voting for writing like a 16 year old.
-6
Very interesting. However, it's a shame that what is an ADTs is not formally defined.
But it is formally defined: An ADT is something used to create stacks.
(Forgot whose quote that was).
Whenever I see the word ADT, I find stack mentioned somewhere near to it. It's the standard textbook example. Can someone point to a good implementation of other kinds of ADTs, preferably in C?
edit: by stack I mean everything mentioned here
[deleted]
GDSL
[deleted]
For educational ( http://uic.edu.hk/~hpguo/teaching/spring2007/da/ ) or real world ( http://library.gnome.org/devel/glib/ ) usage?
Doesn't the paper pretty much say, ADT = Existential type.
Although Theories of Programming Languages uses existentials to describe modules, but in this case module and ADT would be pretty similar.