OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

Moscow ML

A light-weight implementation of ef="module.php?name=Lexikon&file=search&eid=1&query=Standard ML">Standard ML written by Sergei Romanenko ergei-romanenko@refal.msk.su> of the ef="module.php?name=Lexikon&file=search&eid=1&query=Keldysh Institute of Applied Mathematics">Keldysh Institute of Applied Mathematics with assistance from Peter Sestoft estoft@dina.kvl.dk>, {Royal Veterinary and Agricultural University}. Moscow ML is based on {CAML Light}. Version: 1.20 implements the Standard ML Core language. The sublanguage of Modules implemented by Moscow ML contains signatures and non-nested structures, and identifies structures with source files. It is certainly less expressive than the full Standard ML Modules language, but the ef="module.php?name=Lexikon&file=search&eid=1&query=type-safe">type-safe ef="module.php?name=Lexikon&file=search&eid=1&query=separate compilation">separate compilation facility is simple, useful, and easy to use. It is the intention to implement the full Standard ML Modules language (including functors) in due course. Compilation of a ef="module.php?name=Lexikon&file=search&eid=1&query=signature">signature produces a compiled interface file, which is used when compiling other signatures and structures. Compilation of a structure produces a ef="module.php?name=Lexikon&file=search&eid=1&query=bytecode">bytecode file. Bytecode files are compact and load fast. For instance, a 3250-line program consisting of 24 structures and 17 signatures compiles to 221 KB of bytecode and 241 KB of compiled signatures. Starting the ML system and loading the 24 bytecode files takes 1-2 cpu seconds plus network delays, less that 5 seconds real time in all. Release 1.20 permits loading of precompiled bytecode files into the top-level interactive session. The next release will be able to create stand-alone executables by linking bytecode files. There is a mechanism for adding basis libraries, as in {Caml Light}. Release 1.20 includes the basis libraries Array, List, and Vector and the ef="module.php?name=Lexikon&file=search&eid=1&query=MS-DOS">MS-DOS version includes the Graphics library from ef="module.php?name=Lexikon&file=search&eid=1&query=Caml Light">Caml Light. In principle, Moscow ML can be compiled on any ef="module.php?name=Lexikon&file=search&eid=1&query=platform">platform supported by ef="module.php?name=Lexikon&file=search&eid=1&query=Caml Light">Caml Light. So far we have tried {Intel 80386}-based {IBM PC}s running {MS-DOS}, {Microsoft Windows}, ef="module.php?name=Lexikon&file=search&eid=1&query=OS/2">OS/2 or ef="module.php?name=Lexikon&file=search&eid=1&query=Linux">Linux, ef="module.php?name=Lexikon&file=search&eid=1&query=DeC MIPS">DeC MIPS running ef="module.php?name=Lexikon&file=search&eid=1&query=Ultrix">Ultrix, ef="module.php?name=Lexikon&file=search&eid=1&query=DeC Alpha">DeC Alpha running ef="module.php?name=Lexikon&file=search&eid=1&query=OSF/1">OSF/1, ef="module.php?name=Lexikon&file=search&eid=1&query=Sun-4">Sun-4 running ef="module.php?name=Lexikon&file=search&eid=1&query=SunOS">SunOS, ef="module.php?name=Lexikon&file=search&eid=1&query=HP9000">HP9000 running ef="module.php?name=Lexikon&file=search&eid=1&query=HP/UX">HP/UX, ef="module.php?name=Lexikon&file=search&eid=1&query=SGI MIPS">SGI MIPS running ef="module.php?name=Lexikon&file=search&eid=1&query=IRIX">IRIX 5. Moscow ML is particularly useful when fast compilation and modest storage consumption are more important than fast program execution. Thanks to the efficient Caml Light run-time system used in Moscow ML, it compiles fast and uses little memory, typically 5-10 times less memory than ef="module.php?name=Lexikon&file=search&eid=1&query=SML/NJ">SML/NJ 0.93 and 2-3 times less than ef="module.php?name=Lexikon&file=search&eid=1&query=edinburgh ML">edinburgh ML. Yet the bytecode is only 3 to 10 times slower than SML/NJ 0.93 compiled native code (fast on {IBM PC}s, slower on {RISC}s). {DOS (ftp://dina.kvl.dk/pub/Peter.Sestoft/mosml/mos12bin.zip)}. {Linux (ftp://dina.kvl.dk:pub/Peter.Sestoft/mosml/linux-mos12bin.tar.gz)}. {Source (ftp://dina.kvl.dk:pub/Peter.Sestoft/mosml/mos12src.tar.gz)}. ef="module.php?name=Lexikon&file=search&eid=1&query=Caml Light">Caml Light 0.61 and ef="module.php?name=Lexikon&file=search&eid=1&query=gcc">gcc are required to recompile Moscow ML for ef="module.php?name=Lexikon&file=search&eid=1&query=Unix">Unix or Caml Light 0.61, ef="module.php?name=Lexikon&file=search&eid=1&query=djgpp">djgpp, ef="module.php?name=Lexikon&file=search&eid=1&query=Perl">Perl, and ef="module.php?name=Lexikon&file=search&eid=1&query=Borland C++">Borland C++ version 2.0 (or later) to recompile Moscow ML for ef="module.php?name=Lexikon&file=search&eid=1&query=DOS">DOS. (1994-12-12)

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.1177 Seconds, with 16 Database-Queries