A light-weight implementation of
Standard ML written by
Sergei Romanenko <
Sergei-romanenko@refal.m
Sk.
Su> of the
KeldySh InStitute of Applied MathematicS with a
SSi
Stance from Peter
Se
Stoft <
Se
Stoft@dina.kvl.dk>, {Royal Veterinary and Agricultural Univer
Sity}. Mo
Scow ML i
S ba
Sed on {CAML Light}. Ver
Sion: 1.20 implement
S the
Standard ML Core language. The
Sublanguage of Module
S implemented by Mo
Scow ML contain
S Signature
S and non-ne
Sted
Structure
S, and identifie
S Structure
S with
Source file
S. It i
S certainly le
SS expre
SSive than the full
Standard ML Module
S language, but the
type-Safe Separate compilation facility i
S Simple, u
Seful, and ea
Sy to u
Se. It i
S the intention to implement the full
Standard ML Module
S language (including functor
S) in due cour
Se. Compilation of a
Signature produce
S a compiled interface file, which i
S u
Sed when compiling other
Signature
S and
Structure
S. Compilation of a
Structure produce
S a
bytecode file. Bytecode file
S are compact and load fa
St. For in
Stance, a 3250-line program con
Si
Sting of 24
Structure
S and 17
Signature
S compile
S to 221 KB of bytecode and 241 KB of compiled
Signature
S.
Starting the ML
Sy
Stem and loading the 24 bytecode file
S take
S 1-2 cpu
Second
S plu
S network delay
S, le
SS that 5
Second
S real time in all. Relea
Se 1.20 permit
S loading of precompiled bytecode file
S into the top-level interactive
Se
SSion. The next relea
Se will be able to create
Stand-alone executable
S by linking bytecode file
S. There i
S a mechani
Sm for adding ba
Si
S librarie
S, a
S in {Caml Light}. Relea
Se 1.20 include
S the ba
Si
S librarie
S Array, Li
St, and Vector and the
MS-DOS ver
Sion include
S the Graphic
S library from
Caml Light. In principle, Mo
Scow ML can be compiled on any
platform Supported by
Caml Light.
So far we have tried {Intel 80386}-ba
Sed {IBM PC}
S running {M
S-DO
S}, {Micro
Soft Window
S},
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. Mo
Scow ML i
S particularly u
Seful when fa
St compilation and mode
St
Storage con
Sumption are more important than fa
St program execution. Thank
S to the efficient Caml Light run-time
Sy
Stem u
Sed in Mo
Scow ML, it compile
S fa
St and u
Se
S little memory, typically 5-10 time
S le
SS memory than
SML/NJ 0.93 and 2-3 time
S le
SS than
Edinburgh ML. Yet the bytecode i
S only 3 to 10 time
S Slower than
SML/NJ 0.93 compiled native code (fa
St on {IBM PC}
S,
Slower on {RI
SC}
S). {DO
S (ftp://dina.kvl.dk/pub/Peter.
Se
Stoft/mo
Sml/mo
S12bin.zip)}. {Linux (ftp://dina.kvl.dk:pub/Peter.
Se
Stoft/mo
Sml/linux-mo
S12bin.tar.gz)}. {
Source (ftp://dina.kvl.dk:pub/Peter.
Se
Stoft/mo
Sml/mo
S12
Src.tar.gz)}.
Caml Light 0.61 and
gcc are required to recompile Mo
Scow ML for
Unix or Caml Light 0.61,
djgpp,
Perl, and
Borland C++ ver
Sion 2.0 (or later) to recompile Mo
Scow ML for
DOS. (1994-12-12)
Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ 386 ] [ 80386 ] [ = ] [ @ ] [ ad ] [ af ] [ ag ] [ ai ] [ al ] [ Alpha ] [ AM ] [ am ] [ AML ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ av ] [ B ] [ b ] [ ba ] [ baSe ] [ be ] [ bi ] [ br ] [ by ] [ Byte ] [ byte ] [ C ] [ C++ ] [ CA ] [ ca ] [ CAM ] [ CAML ] [ Caml Light ] [ cc ] [ ch ] [ ci ] [ cl ] [ co ] [ code ] [ com ] [ compact ] [ con ] [ conS ] [ cr ] [ cu ] [ D ] [ dd ] [ de ] [ DEC ] [ DEC Alpha ] [ ding ] [ dj ] [ dk ] [ do ] [ DOS ] [ du ] [ E ] [ ec ] [ ed ] [ er ] [ era ] [ eS ] [ et ] [ exec ] [ executable ] [ execution ] [ faS ] [ fi ] [ file ] [ fo ] [ for ] [ fr ] [ functor ] [ G ] [ ge ] [ gh ] [ GI ] [ gn ] [ gp ] [ gr ] [ gu ] [ gz ] [ h ] [ hat ] [ HP ] [ hr ] [ ht ] [ IBM ] [ id ] [ ie ] [ il ] [ import ] [ in ] [ inc ] [ include ] [ inStance ] [ int ] [ Intel 80386 ] [ interactive ] [ interface ] [ io ] [ IP ] [ IPS ] [ IR ] [ ir ] [ IRIX ] [ IS ] [ iS ] [ it ] [ J ] [ K ] [ KB ] [ ke ] [ KeldySh InStitute of Applied MathematicS ] [ ki ] [ la ] [ language ] [ ld ] [ leSS than ] [ Lex ] [ li ] [ library ] [ light-weight ] [ line ] [ link ] [ load ] [ lt ] [ lu ] [ ly ] [ M ] [ ma ] [ man ] [ memory ] [ MicroSoft ] [ MIPS ] [ ML ] [ ml ] [ mo ] [ mod ] [ mode ] [ module ] [ mp ] [ mS ] [ MS-DOS ] [ N ] [ na ] [ nature ] [ nc ] [ ne ] [ net ] [ network ] [ ng ] [ ni ] [ nl ] [ nn ] [ no ] [ nS ] [ nu ] [ O ] [ om ] [ op ] [ OS ] [ OS/2 ] [ OSF ] [ pa ] [ PC ] [ pe ] [ ph ] [ pl ] [ platform ] [ pluS ] [ port ] [ pr ] [ program ] [ PS ] [ pt ] [ query ] [ rc ] [ re ] [ real ] [ releaSe ] [ RISC ] [ rl ] [ ro ] [ Royal Veterinary and Agricultural UniverSity ] [ ru ] [ run ] [ run-time SyStem ] [ S ] [ Sa ] [ Safe ] [ SC ] [ Sc ] [ Se ] [ Separate compilation ] [ SeSSion ] [ SGI ] [ Sh ] [ Si ] [ Sig ] [ Signature ] [ Sit ] [ Sk ] [ Sl ] [ Sm ] [ SML ] [ SML/NJ ] [ So ] [ Source ] [ Sr ] [ St ] [ Stand-alone ] [ Storage ] [ Struct ] [ Su ] [ Sublanguage ] [ Sum ] [ Sun ] [ SunOS ] [ Support ] [ Sy ] [ SyStem ] [ T ] [ table ] [ tar ] [ tf ] [ th ] [ to ] [ tp ] [ tr ] [ tt ] [ tw ] [ type ] [ ua ] [ Ultrix ] [ um ] [ up ] [ uS ] [ V ] [ ve ] [ verSion ] [ WindowS ] [ wS ] [ X ] [ Y ] [ yt ] [ zip ]