Fmlib

The library Fmlib supports functional programming with managed effects. It has the following components:

• Fmlib_std Standard Types

• Fmlib_pretty Pretty Printing

• Fmlib_parse Parsing

• Fmlib_js Interface to javascript via js_of_ocaml

All libraries of Fmlib are prefixed by Fmlib_ to avoid nameclashes with any other used libraries.

Design and Implementation

The design and the implementation of some modules is described in this document.

Design Philosophy

All components of Fmlib work independently of any input/output methods i.e. they can be used in any environment.

The printers do not actually print. They generate a lazy stream of characters which can be output on any medium.

The parsers do not actually read from input. They work in push mode. You can choose your input method and you push the characters into the parser.

The library is functional in the sense that it avoids mutation or uses mutation only locally to improve performance. Exception handling is avoided as well. The module Fmlib_std.Result can be used to achieve the same effect as exception handling.