A Formal Framework for a Functional Language with Adaptable Components

We propose a component programming language called FLAC, Functional Language for Adaptable Components, on top of a func-tional programming language which authorizes full adaptability of components while ensuring type safety. The langage is given to-gether with a type system that offers a complete static type ckeck-ing of any programs (including adaptations) to ensure error-free run-time adaptations. Dynamic adaptability and static type check-ing might seem at first sight paradoxical, but our approach allows it because, first, we use a single language for traditional services and control services (i.e., services for adaptations), and secondly, a specific merge operation takes care of adaptations.1 1