Abstract: One embodiment of the present invention provides a system that facilitates typesafe software design while supporting structured composition of a software system. The system operates by first receiving an invocation of the software system. Next, the system assigns a context to this invocation. The system then examines the invocation to locate components of this invocation and registers a unique factory to build each component. These factories are registered using the context of this software system. When a component is needed, the system builds the component using a factory associated with this component. Building the component in this way after each component has a registered factory eliminates potential problems with initialization circularity.