This repository contains an auxiliary library for Standard ML, meant as a supplement to the basis library of SMLNJ. The primary purpose of this library is to concretely demonstrate various principles of functional programming, such as the use of custom datatypes, higher-order functions, exceptions, modules, and so on. The modules contained in this library will (eventually) be fully documented and accompanied with other supporting materials.
Timing
: Provide common utilites relating to date, time, and timing. datatypes, higher-order functions, orderLanguage
: Various combinators forstring -> bool
functions. higher-order functionsRegexp
: Regular expression matcher. datatypes, equality types, continuation passing style, exceptions