Implementation of Functional Languages

Volume 2670 of the series Lecture Notes in Computer Science pp 215-231


Towards a Strongly Typed Functional Operating System

  • Arjen van WeeldenAffiliated withComputer Science Institute, University of Nijmegen
  • , Rinus PlasmeijerAffiliated withComputer Science Institute, University of Nijmegen

* Final gross prices may vary according to local VAT.

Get Access


In this paper, we present Famke. It is a prototype implementation of a strongly typed operating system written in Clean. Famke enables the creation and management of independent distributed Clean processes on a network of workstations. It uses Clean’s dynamic type system and its dynamic linker to communicate values of any type, e.g. data, closures, and functions (i.e. compiled code), between running applications in a type safe way. Mobile processes can be implemented using Famke’s ability to communicate functions. We have built an interactive shell on top of Famke that enables user interaction. The shell uses a functional-style command language that allows construction of new processes, and it type checks the command line before executing it. Famke’s type safe run-time extensibility makes it a strongly typed operating system that can be tailored to a given situation.