4 ms·
1992 "Interfaces and Specifications for the Smalltalk Collection Classes" https://dl.acm.org/doi/pdf/10.1145/141936.141938 https://dl.acm.org/doi/pdf/10.1145/1
by igouy 1y ago
1992 "Interfaces and Specifications for the Smalltalk Collection Classes"
https://dl.acm.org/doi/pdf/10.1145/141936.141938 https://dl.acm.org/doi/pdf/10.1145/141936.141938
- kragen 1y agoVery interesting work! It is an attempt to extract the interfaces that were in the minds of the implementors of the Smalltalk-80 system's collection classes, but which couldn't be expressed in the language itself, because it has no interface construct. That's what I meant by "Languages like Smalltalk (...) don't have interfaces at all."
- igouy 1y agoDon't have manifest types and don't have manifest interfaces. Someone has already referenced "Adding Dynamic Interfaces to Smalltalk" [0] and looking back there doesn't seem to be any kind of demonstration that use of interfaces makes software faster to develop or less error prone or... [1] [0] https://www.jot.fm/issues/issue_2002_05/article1/ [1] https://www.cs.utexas.edu/~wcook/papers/OOPSLA89/interfaces.pdf
- kragen 1y agoUnfortunately, in general, there is not much convincing proof that one way of developing software is better than another in such ways.
- igouy 1y agoAnd even if there were: "We are not finders of fact. We are tellers of story. You base the story on the evidence, no? No! We base the evidence on the story. We prove what helps us, and we disprove what hurts us. Whoever tells the best story goes home with the cash-in prizes." (The Good Fight, season 3 episode 2. 30 - 31 minutes. CBS All Access 2019.)