mosmlmanual - Moscow ML Owner’s Manual Version 2.00 of...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Moscow ML Owner’s Manual Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agricultural University, Copenhagen, Denmark Moscow ML implements Standard ML (SML), as defined in the 1997 Definition of Standard ML , including the SML Modules language and some extensions. Moreover, Moscow ML supports most required parts of the SML Basis Library. It supports separate compilation and the generation of stand-alone executables. This document explains how to use the Moscow ML system. A companion document, the Moscow ML Language Overview , summarizes Moscow ML syntax and the most common built-in functions [9]. Another companion document, the Moscow ML Library Documentation , describes in detail all Moscow ML library modules [10]. Contents 1 Getting started 3 1.1 Installation 3 1.2 The interactive system 3 1.3 The batch compiler and linker 3 1.4 The Moscow ML Modules language 3 1.5 What is new in release 2.00 3 2 Additional documentation 4 3 The interactive system: mosml 5 3.1 On-line help 5 3.2 Editing and running ML programs 5 3.3 Command-line options of mosml 5 3.4 Non-standard primitives in the interactive system 6 4 Understanding inferred types and signatures 9 5 Compilation units 10 5.1 Compiling, linking and loading units 10 5.2 Compiling existing SML programs that involve .sig files 10 5.3 Unit names and MS DOS/Windows/OS2 file names 11 6 Structure-mode compilation units 12 6.1 Basic concepts 12 6.2 Structure-mode units without explicit signature 12 6.3 Structure-mode units with explicit signature 12 7 Toplevel-mode compilation units 13 7.1 Basic concepts 13 8 An example program consisting of four mixed-mode units 14 9 Recompilation management using mosmldep and make 16 10 The batch compiler and linker: mosmlc 17 10.1 Overview 17 10.2 Command-line options of mosmlc 18 1 11 Extensions to the Standard ML Modules language 20 11.1 Higher-order modules 20 11.2 Applicative functors 21 11.3 Opaque and transparent functor signatures 22 11.4 First-class modules 22 11.5 Recursive structures and signatures 23 11.6 Miscellaneous relaxations of Standard ML restrictions 24 12 Value polymorphism 25 13 Weak pointers 26 14 Dynamic linking of foreign functions 26 15 Guide to selected dynamically loaded libraries 27 15.1 Using GNU gdbm persistent hash tables 27 15.2 Using POSIX regular expressions 27 15.3 Using the PostgreSQL relational database server 27 15.4 Using the MySQL relational database server 27 15.5 Using the PNG image library 27 15.6 Using the Socket interface 27 16 Quotations and antiquotations 28 17 A lexer generator: mosmllex 29 17.1 Overview 29 17.2 Hints on using mosmllex 29 17.3 Syntax of lexer definitions 29 17.3.1 Header section and entry points 29 17.3.2 Regular expressions 30 17.3.3 Actions 31 17.3.4 Character constants and string constants 31 18 A parser generator: mosmlyac 32 18.1 Overview 32 18.2 The format of grammar definitions...
View Full Document

This note was uploaded on 02/13/2012 for the course CS 91.531 taught by Professor Giam during the Fall '09 term at UMass Lowell.

Page1 / 35

mosmlmanual - Moscow ML Owner’s Manual Version 2.00 of...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online