Record Detail Back
Programming in Standard ML
- Share to:
StandardMLisatype-safeprogramminglanguagethatembodiesmany innovative ideas in programming language design. It is a statically typed language, with an extensible type system. It supports polymorphic type inference, which all but eliminates the burden of specifying types of vari- ables and greatly facilitates code re-use. It provides efficient automatic storagemanagementfordatastructuresandfunctions. Itencouragesfunc- tional (effect-free) programming where appropriate, but allows impera- tive (effect-ful) programming where necessary. It facilitates programming with recursive and symbolic data structures by supporting the definition offunctions bypatternmatching. It featuresanextensible exceptionmech- anism for handling error conditions and effecting non-local transfers of control. It provides a richly expressive and flexible module system for structuring large programs, including mechanisms for enforcing abstrac- tion, imposing hierarchical structure, and building generic modules. It is portable across platforms and implementations because it has a precise definition. It provides a portable standard basis library that defines a rich collection of commonly-used types and routines.
Robert Harper - Personal Name
NONE
Information Technology
English
2011
1-297
LOADING LIST...
LOADING LIST...