Strongtalk: typechecking Smalltalk in a production environment
Strongtalk: typechecking Smalltalk in a production environment
复制标题
Strongtalk：在生产环境中对 Smalltalk 进行类型检查
DOI：
10.1145/165854.165893
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
David Griswold
中科院分区：
文献类型：
--
作者：
Gilad Bracha;David Griswold
strongTalk TM是一种向下稳定的SmallTalk方言的打字机。它专为大规模生产软件开发而设计，并结合了强大的现代结构类型系统。它不仅将类型和类的概念分开，而且还讨论了使用继承类型[CHC90，BRU93A]的概念分开继承和亚型的更加干预的问题，以保留封装。 StrongTalk将继承的类型，元类，块和多态方法整合到高度可用的全尺度语言中。
Strongtalk TM is a typechecker for a downwardcompatible Smalltalk dialect. It is designed for large-scale production software development, and incorporates a strong, modern structural type system. It not only separates the notions of type and class, but also deals with the more dicult issue of separating inheritance and subtyping using the notion of inherited types [CHC90, Bru93a] to preserve encapsulation. Strongtalk integrates inherited types, metaclasses, blocks and polymorphic methods into a highly usable, full-scale language.