Sisyphus repository
Last update: 1 october 2023 | SRPMs: 18631 | Visits: 37046297
en ru br
ALT Linux repos
S:2.10.1-alt2

Group :: Development/ML
RPM: mosml

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

Current version: 2.10.1-alt2
Build date: 10 october 2018, 00:14 ( 285.3 weeks ago )
Size: 1743.94 Kb

Home page:   http://mosml.org/

License: GPL
Summary: Moscow ML
Description:

Moscow ML provides a light-weight implementation of full Standard ML,
including Modules and some extensions.  Standard ML is a strict
functional language widely used in teaching and research.

Moscow ML is based on the Caml Light system, which gives fast
compilation and modest storage consumption.

  * The full SML Modules language (structures, signatures, and functors)
    is now supported, thanks to Claudio Russo.
  * Also, several extensions to the SML Modules language are provided:
     - higher-order functors: functors may be defined within structures
       and functors
     - first-class modules: structures and functors may be packed and
       then handled as Core language values, which may then be unpacked
       as structures or functors again
     - recursive modules: signatures and structures may be recursively
       defined
  * Despite that improvements, Moscow ML remains backwards compatible.
  * Value polymorphism has become friendlier: non-generalizable free
    type variables are left free, and become instantiated (once only)
    when the bound variable is used
  * Added facilities for creating and communicating with subprocesses
    (structure Unix and Signal from SML Basis Library).
  * Added facilities for efficient functional generation of HTML code
    (structure Msp); also supports the writing of ML Server Page scripts.
  * Added facilities setting and accessing `cookies' in CGI scripts
    (structure Mosmlcookie), thanks to Hans Molin, Uppsala, Sweden.
  * The Gdimage structure now produces PNG images (using Thomas
    Boutell's gd library).

Current maintainer: Andrey Bergman

List of contributors

List of rpms provided by this srpm:

  • mosml
  • mosml-debuginfo
ACL:
     
    design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    current maintainer: Michael Shigorin