Sciweavers

Share
AFP
2004
Springer

A Functional Shell That Operates on Typed and Compiled Applications

10 years 5 months ago
A Functional Shell That Operates on Typed and Compiled Applications
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, the shell can be used for manipulating files, applications, data and processes at the command line. Special about Esther is that the shell language provides the full basic functionality of a strongly typed lazy functional language. The shell type checks each command line and only executes well-typed expressions. Files are typed as well, and applications are simply files with a function type. The implementation of the shell has some unusual aspects. The type checking/inferencing performed by the shell is actually performed by the hybrid static/dynamic type system of Clean. The shell behaves like an interpreter, but it actually executes a command line by combining existing code of functions on disk. Cleans dynamic linker is used to store (and retrieve) any expression (both data and code) with its type on disk...
Rinus Plasmeijer, Arjen van Weelden
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where AFP
Authors Rinus Plasmeijer, Arjen van Weelden
Comments (0)
books