The target language can also be any one of those languages. A monad can be used to provide state so that the reference type in ML is not needed. Persistence Persistent objects can be created, but they don't disappear until they are explicitly destroyed. The objects are held in a sort of database even while the language or the controlling program is not running. This may be a good candidate to interface with an external object database program.
Matrices Add a set of matrix operations.
Graphics ML provides the eXene graphics package. It may be useful to add extra functionality to this package by providing a specific set of graphics operations to support, say, bar graphs or even image processing. A recent trend in computer science and software engineering is to create an application that is either a single agent or a group of cooperating agents. Applications Functional programming is good not only for implementing languages, compilers, and virtual machines. To display HTML it is necessary to parse it first.