|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910784423703321 |
|
|
Titolo |
The Standard ML basis library / / edited by Emden R. Gansner, John H. Reppy [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge : , : Cambridge University Press, , 2004 |
|
|
|
|
|
|
|
ISBN |
|
1-107-14350-0 |
1-280-47765-2 |
9786610477654 |
0-511-54684-X |
0-511-19504-4 |
0-511-19570-2 |
0-511-19361-0 |
0-511-31409-4 |
0-511-19435-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiii, 469 pages) : digital, PDF file(s) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
ML (Computer program language) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from publisher's bibliographic system (viewed on 05 Oct 2015). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. [427]) and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Half-title; Title; Copyright; Contents; Foreword; Preface; 1 Introduction; 2 Library modules; 3 Top-level environment; 4 General usages; 5 Text; 6 Numerics; 7 Sequential data; 8 Input/Output; 9 Systems programming; 10 Network programming with sockets; 11 Manual pages; Bibliography; General index; SML identifier index; Raised exception index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. |
|
|
|
|
|
|
|
|
|
|
A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers. |
|
|
|
|
|
| |