Abstract
The Scratchpad II system is an abstract datatype programming language, a compiler for the language, a library of packages of polymorphic functions and parametrized abstract datatypes, and an interpreter that provides sophisticated type inference and coercion facilities. Although originally designed for the implementation of symbolic mathematical algorithms, Scratchpad II is a general purpose programming language. This paper discusses aspects of the implementation of the interpreter and how it attempts to provide a user friendly and relatively weakly typed front end for the strongly typed programming language.
- [1] Jenks, R. D. and Trager, B. M., "A Language for Computational Algebra," Proceedings of SYMSAC '81, 1981 Symposium on Symbolic and Algebraic Manipulation, Snowbird, Utah, August, 1981. Also SIGPLAN Notices, New York: Association for Computing Machinery, November 1981, and IBM Research Report RC 8930 (Yorktown Heights, New York). Google ScholarDigital Library
- [2] Liskov, B., Atkinson, R., et al. CLU Reference Manual, New York: Springer-Verlag, 1981. Google ScholarDigital Library
- [3] Computer Algebra Group. An Overview of the Scratchpad II Language and System, Yorktown Heights, New York: IBM Corporation, April 1986.Google Scholar
- [4] Sweedler, Moss E., "Typing in Scratchpad II," The Scratchpad II Newsletter, Vol. 1, No. 2. Edited by R. S. Sutor, Yorktown Heights, New York: IBM Corporation, January 15, 1986.Google Scholar
- [5] Jenks, R. D., "A History of the SCRATCHPAD Project (1977-1986)," The Scratchpad II Newsletter, Vol. 1, No. 3, Edited by R. S. Sutor, Yorktown Heights, New York: IBM Corporation, May 15, 1986.Google Scholar
- [6] Schaffert, C., Cooper, T., et al. "An Introduction to Trellis/Owl," OOPSLA '86 Conference Proceedings, SIGPLAN Notices, Volume 21, Number 11, New York: Association for Computing Machinery, November 1986, pp. 9-16. Google ScholarDigital Library
- [7] Jenks, R. D., Sutor, R. S., and Watt, S. M., "Scratchpad II: An Abstract Datatype System for Mathematical Computation," IBM Research Report RC 12327 (Yorktown Heights, New York: November 17, 1986).Google Scholar
- [8] Watt, S. M., and Jenks, R. D., "Abstract Datatypes, Multiple Views and Multiple Inheritance in Scratchpad II," The Scratchpad II Newsletter, Vol. 1, No. 4, Edited by R. S. Sutor, Yorktown Heights, New York: IBM Corporation, March 15, 1987.Google Scholar
Index Terms
- The type inference and coercion facilities in the scratchpad II interpreter
Recommendations
The type inference and coercion facilities in the scratchpad II interpreter
SIGPLAN '87: Papers of the Symposium on Interpreters and interpretive techniquesThe Scratchpad II system is an abstract datatype programming language, a compiler for the language, a library of packages of polymorphic functions and parametrized abstract datatypes, and an interpreter that provides sophisticated type inference and ...
Polymorphic type inference and abstract data types
Many statically typed programming languages provide an abstract data type construct, such as the module in Modula-2. However, in most of these languages, implementations of abstract data types are not first-class values. Thus, they cannot be assigned to ...
Comments