A type declaration and inference system for smalltalk

ABSTRACT

An experimental system for declaring and inferring type in Smalltalk is described. (In the current Smalltalk language, the programmer supplies no type declarations.) The system provides the benefits of type declaration in regard to compile-time checking and documentation, while still retaining Smalltalk's flexibility. A type hierarchy, which is integrated with the existing Smalltalk class hierarchy, allows one type to inherit the traits of another type. A type may also have parameters, which are in turn other types.

REFERENCES

• 1: Alan Borning, The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.353-387, Oct. 1981 [doi>10.1145/357146.357147]
• 2: {Cannon 80} Cannon, H.I. Flavors. Technical Report, MIT Artificial Intelligence Lab, 1980.
• 3: Ole-Johan Dahl , Kristen Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, v.9 n.9, p.671-678, Sept. 1966 [doi>10.1145/365813.365819]
• 4: {DOD 80} United States Department of Defense. Reference Manual for the Ada Programming Language 1980.
• 5: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 6: Daniel H. H. Ingalls, The Smalltalk-76 programming system design and implementation, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.9-16, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512762]
• 7: Henry F. Ledgard, A human engineered variant of BNF, ACM SIGPLAN Notices, v.15 n.10, p.57-62, October 1980 [doi>10.1145/947727.947732]
• 8: Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
• 9: {LRG 81} The Xerox Learning Research Group. The Smalltalk-80 System. Byte 6(8):36--48, August, 1981.
• 10: {Milner 78} Milner, R. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences 17:348--375, 1978.
• 11: {Mitchell 79} Mitchell, J., Maybury, W., and Sweet, R. Mesa Language Manual. Technical Report CSL-79-3, Xerox Palo Alto Research Center, April, 1979.
• 12: Norihisa Suzuki, Inferring types in Smalltalk, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.187-199, January 26-28, 1981, Williamsburg, Virginia [doi>10.1145/567532.567553]
• 13: {Tesler 81} Tesler, L. The Smalltalk Environment. Byte 6(8):90--147, August, 1981.
• 14: {Wulf 76} Wulf, W., London, R., and Shaw, M. An Introduction to the Construction and Verification of Alphard Programs. IEEE Transactions on Software Engineering SE-2(4):253--264, December, 1976.