Interactive Programming Environment for ML
Résumé
This paper presents our experiment in building a programming environment for ML. The approach is based on reusability. We derive from existing compilers some tools that assist users in developing ML programs. ML being a strongly typed language, its typechecking algorithm plays a central role. So we present some tools that show how to make use of type information in a programming environment.