From structures and functors to modules and units

t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure component system is not a sufficient mechanism for structuring programs. We present the combination of a static, internally-linked module system and a purely abstractive component system. The latter extends our previous model of typed units to properly account for translucency and sharing. We also show how units and modules can express an SML-style system of structures and functors, and we explore the consequences for recursive structures and functors. Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features--Modules, packages General Terms Design, Languages Keywords Module, component, structure, functor, unit

• Type: Conference
• Year: 2006
• Where: ICFP
• Authors: Scott Owens, Matthew Flatt
• Keywords: Abstractive Component System, ICFP 2006, Programming Languages, Pure Component, Techniques Encourage Abstraction