The HimML Reference Manual
version 1.0 alpha 17

Jean Goubault-Larrecq

January 30, 2005

Abstract: This is the HimML reference manual. HimML is a close variant of the Standard ML language, with set-theoretic types, data structures and operators, and an extendible physical unit system.

Keywords: ML, sets, physical units.

Résumé

Ceci est le manuel de référence de HimML. HimML est une proche variante du langage Standard ML, avec des types, des structures de données et des opérateurs ensemblistes, et un système d'unités physiques extensible.

Mots-clés : ML, ensembles, unités physiques.

Copyright (c) 1992--1999 Jean Goubault-Larrecq and Bull S.A., 2000--2002 Jean Goubault-Larrecq et LSV/CNRS UMR 8643 & ENS Cachan
Bison parser generator Copyright (c) 1986 Free Software Foundation, Inc.
Regular expression matcher Copyright (c) 1986 by University of Toronto

• Table of Contents
• Overview
• Differences with Standard ML
  • Sets
  • Numbers and Physical Units
  • Other Differences
• Core Types
• The Standard Library
  • General Purpose Exceptions and Functions
  • Lists
  • Sets and Maps
  • Refs and Arrays
  • Strings
  • Integer Arithmetic
  • Numerical Operations
  • Large Integer Arithmetic
  • Input/Output
  • Miscellaneous
• Running the System
  • Starting up
  • Compiling, Linking, Finding Dependencies
  • Debugger
  • Profiler
  • Conditional Compilation
  • Separate Compilation and Modules
  • Editor Support
  • Bugs
  • Common Problems
  • Reporting Bugs, Making Suggestions
• Precedence Table
• References
• Keyword Index

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.