2004/05/23 by Riccardo Pucella, Pucella, Riccardo
Computer Science · #D.2.2 #D.3.3 #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
paper · pdf · doi:10.48550/arxiv.cs/0405083
15 pages; appeared in Proceedings of the Joint Modular Languages Conference (JMLC'00). LNCS 1897, pp. 104-118, 2000
arxiv created 2004/05/23 · arxiv updated 2009/12/01
We present in this paper the preliminary design of a module system based on a notion of components such as they are found in COM. This module system is inspired from that of Standard ML, and features first-class instances of components, first-class interfaces, and interface-polymorphic functions, as well as allowing components to be both imported from the environment and exported to the environment using simple mechanisms. The module system automates the memory management of interfaces and hides the IUnknown interface and QueryInterface mechanisms from the programmer, favoring instead a higher-level approach to handling interfaces.