|
|
Moscow ML
A light-weight implementation of Standard ML written by
Sergei Romanenko <sergei-romanenko@refal.msk.su> of the
Keldysh Institute of Applied Mathematics with assistance
from Peter Sestoft <sestoft@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
type-safe 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 signature produces a compiled interface
file, which is used when compiling other signatures and
structures.
Compilation of a structure produces a 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 MS-DOS version includes the
Graphics library from Caml Light.
In principle, Moscow ML can be compiled on any platform
supported by Caml Light. So far we have tried Intel
80386-based IBM PCs running MS-DOS, Microsoft Windows,
OS/2 or Linux, DEC MIPS running Ultrix, DEC Alpha
running OSF/1, Sun-4 running SunOS, HP9000 running
HP/UX, SGI MIPS running 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 SML/NJ 0.93 and 2-3 times less
than Edinburgh ML. Yet the bytecode is only 3 to 10 times
slower than SML/NJ 0.93 compiled native code (fast on IBM
PCs, slower on RISCs).
DOS.
Linux.
Source.
Caml Light 0.61 and gcc are required to recompile Moscow
ML for Unix or Caml Light 0.61, djgpp, Perl, and
Borland C++ version 2.0 (or later) to recompile Moscow ML
for DOS.
(1994-12-12)
Try this search on OneLook / Google
Nearby terms:
MOS « Mosaic « Mosaic Communications Corporation « Moscow ML » MOSFET » Mosiac » MOS Technologies
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Bluetooth Stereo HeadsetBluetooth Stereo Headset ** Bluetooth Stereo Headset **The Bluetooth Stereo Headset supports streaming music wirelessly. By connecting the headset to the PC via Bluetooth USB Dongle, the user can listen to hours of music available on their PC without the hassle of cords. With the easy adjusting design, the users enjoy sheer and unsurpassed comfort. Perfect for travel entertainment or as an add-on for your home entertainment system.General Features:- Streaming of music sources in PC - Replaceable AAA battery for long lasting play - Windows 2000, XP compatible - Easy controllable via 2 buttons - Comfortable headband - No Wire for easy to put on and take off - Stylish - Easy setupNotes:- Brand new retail packaged More ...
Symantec PC Anywhere 11.5 OEMSymantec PC Anywhere 11.5 OEM Now you can use pcAnywhere to remotely manage Linux as well as Windows systems, freeing you from command-line Linux tools. You can even manage both platforms from a Java-enabled Web browser running on a system of your choice. Enhanced video performance includes the new Bandwidth Auto-Detect feature, which automatically optimizes the performance of pcAnywhere over all types of connections. And support for the Microsoft Windows Preinstallation Environment helps you get crashed systems back up and running quickly. Built-in AES 256-bit encryption - the same security technology used in many government and financial applications-now protects communications between pcAnywhere clients and hosts. Need to troubleshoot problems when you're on the go? New pcAnywhere Mobile enables you to access a pcAnywhere host from your Microsoft Pocket PC over any TCP/IP connection, wired or wireless. pcAnywhere also features powerful, efficient file-transfer capabilities that let you transfer files across different platforms. A connection wizard helps new users launch pcAnywhere quickly, and Host Conferencing permits multiple concurrent remote connections to a single pcAnywhere host-a great tool for training or collaboration. Resolve helpdesk issues quickly, manage remote computers securely, and work across multiple platforms easily with versatile pcAnywhere 11.5.Notes:- Picture is for representational purposes only- OEM CD ONLY More ...
Logitech Cordless Desktop LX 300 Keyboard &MouseLogitech Cordless Desktop LX 300 Keyboard &Mouse ** Logitech Cordless Desktop LX 300 Keyboard and Mouse **Give yourself a comfortable workspace without cords and without hassles. This Logitech Cordless Desktop LX 300 keyboard delivers the cordless performance you expect, superbly.With its low-profile keyframe and other ergonomic features, it sets a higher standard for comfort and style, and with a variety of extra keys and buttons, it also lets you be more productive, without changing the way you work! Order yours today! Keyboard Features:- Black color- Ultra-flat profile with Zero-Degree Tilt - Ergonomic Shape- One-touch keyboard controls- Easy two-handed navigation - Secure, reliable cordless technology - Multimedia Control - Audio Control Mouse Features:- Black color- Premier optical mouse technology - 3-buttons- Scroll Wheel (acts as 3rd button)- Cordless- Ergonomic shapeReceiver Features:- Black color- USB connector- PS/2 connector- USB to PS/2 adapter includedRegulatory Approvals:- FCC- UL- CE- NOMRetail Package Includes:- Logitech Cordless Desktop LX 300 - Logitech Cordless Optical Mouse- Compact USB/PS/2 receiver- USB to PS/2 adapter- CD with software, comfort guidelines, and Help Center - Palm RestNotes:- UPC Code: 0 97855 02355 1 Compatibility/Requirements/Disclosures: ** Requirements *** IBM compatible PC* Windows 98SE/ME/2000/XP * One (1) Available USB port or Two (2) PS/2 ports* CD-ROM drive More ...
Hard Drive Cooler w/Dual Fans (Silver)Hard Drive Cooler w/Dual Fans (Silver) ** Dual Fan Cooler for Hard Disk **This cool silver fan is designed to pull damaging heat awayfrom 3.5-inch hard drives. The twin fan design helps extendthe life of the hard drive and is easy to install!General Features:- Silver color- For 3.5-inch hard disk drives- Extend hard drive life and reliability- Longer life and lower noise- Twin fan high air flow- Easy installation- Mounts to the bottom of any 3.5-inch hard drive- 4-pin Molex pass-through power connector- 12-inch length from fans to 4-pin power connector Retail Package Includes:- Hard drive fan- Mounting screwsNotes:- Adds 0.75-inch to drive height Compatibility/Requirements/Disclosures:** Requirements *** 3.5-inch hard disk drive* Available 4-pin power connector More ...
Symbol LS4004 Scanner with Keyboard WedgeSymbol LS4004 Scanner with Keyboard Wedge ** Symbol LS4004 Scanner with Keyboard Wedge **General Features:- Refurbished LS 4000 series Keyboard Wedge Barcode Scanner.- Scanner with PS2 Keyboard Wedge Only.- Scans UPC/EAN, Code 39, Codabar, Interleaved 2 of 5, Code 128, UCC/EAN 128Discrete 2 of 5, MSI/Plessey, Bookland EAN and Two-Dimensional PDF417.Note: These units are a single color as shown and are missing the bubble logo name plate on top. They are every bit as functional as they should be otherwise. More ...
German Visual Personal InterpreterGerman Visual Personal Interpreter With more than 15,000 entries and over 50,000 words, German VPI finds exactly the German words, phrases or sentences you need - quickly. Perfect for students, busy professionals and great for travelers too! Windows 95/98/ME/NT/2000/XP More ...
|
