[Alice]

Diff for "AliceNews"

Differences between revisions 9 and 0

Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:

  * 2005/09/02: '''Alice 1.2 (Kraftwerk 'Boost Your G-Thing' Album) released'''. See [http://www.ps.uni-sb.de/alice/download/CHANGES changes]. Here is the official announcement: {{{
We are happy to announce version 1.2 of the Alice programming
system:

     http://www.ps.uni-sb.de/alice/

Alice ML is a functional programming language that enriches the
statically typed, closed functional world of ML with extensive
support for type-safe programming of concurrent, distributed
and open systems. It also features cutting-edge constraint
programming technology in the tradition of Oz/Mozart.

Alice ML is a mostly conservative extension of Standard ML
featuring:

  Futures
     selective laziness and light-weight concurrency with
     implicit dataflow synchronisation
  Higher-order modules
     higher-order functors and abstract signatures
  Packages
     dynamically typed ML modules as first-class values
  Pickling
     type-safe, generic & platform-independent marshalling,
     including code, types and entire modules
  Components
     type-safe lazy dynamic linking across the Internet
  Distribution
     type-safe remote functions and network mobility
  Constraints
     constraint propagation and programmable search for
     solving hard combinatorical problems
  Virtual Machine
     portable implementation with just-in-time compilation
  Interactive tools
     graphical browsers for data structures and search spaces

The highlights of this release are:

  New Byte Code Jitter
     optimized internal byte code produced by jitting, which is
     a lot faster than non-jitted code; unlike native code jitting
     it is available on all platforms
  Improvements to Interactive Toplevel
     many tweaks and fixes in the GUI; new features include type hints,
     and native look&feel on Windows (thanks to Gtk Wimp theme)
  Overhaul of Gecode Constraint Library
     many, many bug fixes in Gecode implementation and binding;
     simplified interface to set constraints
  Overhaul of Gtk Graphics Library
     re-structured into submodules with proper dynamic type checking;
     upgraded to Gtk 2.6, including bindings to GLib, Pango, and Atk
  Regular Expression Library
     a simple binding to the GNU Regex library is now included
  64 Bit Support
     Alice can now support 64 bit architectures; a first package
     is available for Debian AMD 64
  Bug Fixes
     lots of bug fixes and minor improvements all over the place

For a detailed list of changes please see:

     http://www.ps.uni-sb.de/alice/download/CHANGES

Alice is open source under a BSD-style license. Source and binary
packages are currently available for Linux, Mac OS, and Windows.

Enjoy,

        - The Alice Team
}}}

News about Alice

  • 2005/09/02: Alice 1.2 (Kraftwerk 'Boost Your G-Thing' Album) released. See [WWW] changes. Here is the official announcement:

    We are happy to announce version 1.2 of the Alice programming
    system:
    
         http://www.ps.uni-sb.de/alice/
    
    Alice ML is a functional programming language that enriches the
    statically typed, closed functional world of ML with extensive
    support for type-safe programming of concurrent, distributed
    and open systems. It also features cutting-edge constraint
    programming technology in the tradition of Oz/Mozart.
    
    Alice ML is a mostly conservative extension of Standard ML
    featuring:
    
      Futures
         selective laziness and light-weight concurrency with
         implicit dataflow synchronisation
      Higher-order modules
         higher-order functors and abstract signatures
      Packages
         dynamically typed ML modules as first-class values
      Pickling
         type-safe, generic & platform-independent marshalling,
         including code, types and entire modules
      Components
         type-safe lazy dynamic linking across the Internet
      Distribution
         type-safe remote functions and network mobility
      Constraints
         constraint propagation and programmable search for
         solving hard combinatorical problems
      Virtual Machine
         portable implementation with just-in-time compilation
      Interactive tools
         graphical browsers for data structures and search spaces
    
    The highlights of this release are:
    
      New Byte Code Jitter
         optimized internal byte code produced by jitting, which is
         a lot faster than non-jitted code; unlike native code jitting
         it is available on all platforms
      Improvements to Interactive Toplevel
         many tweaks and fixes in the GUI; new features include type hints,
         and native look&feel on Windows (thanks to Gtk Wimp theme)
      Overhaul of Gecode Constraint Library
         many, many bug fixes in Gecode implementation and binding;
         simplified interface to set constraints
      Overhaul of Gtk Graphics Library
         re-structured into submodules with proper dynamic type checking;
         upgraded to Gtk 2.6, including bindings to GLib, Pango, and Atk
      Regular Expression Library
         a simple binding to the GNU Regex library is now included
      64 Bit Support
         Alice can now support 64 bit architectures; a first package
         is available for Debian AMD 64
      Bug Fixes
         lots of bug fixes and minor improvements all over the place
    
    For a detailed list of changes please see:
    
         http://www.ps.uni-sb.de/alice/download/CHANGES
    
    Alice is open source under a BSD-style license. Source and binary
    packages are currently available for Linux, Mac OS, and Windows.
    
    Enjoy,
    
            - The Alice Team
    
  • 2005/04/15: A formal semantics of [WWW] Standard ML with Packages and the final version of [WWW] Alice Through the Looking Glass (published and [WWW] extended version) now available online.

  • 2005/04/06: Updated all Alice 1.1 [WWW] packages. This should fix the Seam VM and eliminate the problem of the interactive toplevel eating up all CPU time in GUI mode.

  • 2005/03/24: Alice 1.1 (Kraftwerk 'Eval Your Own' Album) released. See [WWW] changes. Here is the official announcement:

    We are happy to announce version 1.1 of the Alice programming
    system:
    
         http://www.ps.uni-sb.de/alice/
    
    Alice ML is a functional programming language that enriches the
    statically typed, closed functional world of ML with extensive
    support for type-safe programming of concurrent, distributed
    and open systems. It also features cutting-edge constraint
    programming technology in the tradition of Oz/Mozart.
    
    Alice ML is a mostly conservative extension of Standard ML
    featuring:
    
      Futures
         selective laziness and light-weight concurrency with
         implicit dataflow synchronisation
      Higher-order modules
         higher-order functors and abstract signatures
      Packages
         dynamically typed ML modules as first-class values
      Pickling
         type-safe, generic & platform-independent marshalling,
         including code, types and full modules
      Components
         type-safe lazy dynamic linking across the Internet
      Distribution
         type-safe remote functions and network mobility
      Constraints
         constraint propagation and programmable search for
         solving hard combinatorical problems
      Virtual Machine
         portable implementation with support for just-in-time
         compilation
      Interactive tools
         graphical browsers for data structures and search spaces
    
    The highlights of this release are:
    
      Graphical User Interface
         The Interactive Toplevel now comes with an optional GUI that
         includes a simple program editor.
      First-class Compilation
         The library now enables safe runtime access to the compiler,
         including a type-safe Lisp-style "eval" function.
      Search Factory and Distributed Search
         A generic Search Factory enables programming of custom search
         strategies for constraint programming, and includes a distributed
         search engine.
      Glade Interface Builder
         The new aliceglade tool allows creation of Gtk interfaces for
         Alice using the graphical Glade interface builder. [glade.gnome.org]
      SQL Library
         A binding to the SQLite library is now included in the
         distribution. [www.sqlite.org]
      XML Parser
         The distribution also includes a simple XML parser based on the
         libxml2 library. [www.xmlsoft.org]
      Mac OS Port
         The system is now available for Mac OS X (without just-in-time
         compilation).
      Bug Fixes
         Lots of bugs and problems fixed, particularly on Windows.
    
    For a detailed list of changes please see:
    
         http://www.ps.uni-sb.de/alice/download/CHANGES
    
    Alice is open source under a BSD-style license. Source and binary
    packages are currently available for Linux, Mac OS, and Windows.
    
    Enjoy,
    
            - The Alice Team
    
  • 2005/03/01: [WWW] Chris Rathman has started [WWW] translating all examples from [WWW] Concepts, Techniques, and Models of Computer Programming (CTM) from Oz to Alice ML

  • 2005/02/15: The [WWW] Emacs mode for Alice has been upgraded to SML-mode 4.0.

  • 2005/01/18: An updated Alice 1.0 [WWW] package is available for Windows. It fixes problems with a misconfigured GMP library contained in previous Windows packages.

  • 2005/01/11: Migrated Wiki to new MoinMoin version.

  • 2004/12/22: The draft version of a new paper, [WWW] Alice Through the Looking Glass, which presents the open programming aspects of the Alice language design, is now available online.

  • 2004/12/22: Alice 1.0 (Kraftwerk Album 1) released. See [WWW] changes. Here is the official announcement:

    We are happy to announce version 1.0 of the Alice programming
    system:
    
         http://www.ps.uni-sb.de/alice/
    
    Alice ML is a functional programming language that enriches the
    statically typed, closed functional world of ML with extensive
    support for type-safe programming of concurrent, distributed
    and open systems. It also features cutting-edge constraint
    programming technology in the tradition of Oz/Mozart.
    
    Alice ML is a mostly conservative extension of Standard ML
    featuring:
    
      Futures
         selective laziness and light-weight concurrency with
         implicit dataflow synchronisation
      Higher-order modules
         higher-order functors and abstract signatures
      Packages
         dynamically typed ML modules as first-class values
      Pickling
         type-safe, generic & platform-independent marshalling,
         including code, types and full modules
      Components
         type-safe lazy dynamic linking across the Internet
      Distribution
         type-safe remote functions and network mobility
      Constraints
         constraint propagation and programmable search for
         solving hard combinatorical problems
      Virtual Machine
         portable implementation with support for just-in-time
         compilation
      Interactive tools
         graphical browsers for data structures and search spaces
    
    The highlights of this release are:
    
      SEAM Virtual Machine
         A newly designed VM with support for just-in-time compilation
         improves execution speed by a factor of up to 5 compared to
         previous versions. Mozart is no longer required to run Alice.
         [http://www.ps.uni-sb.de/seam/]
      GECODE Constraint Library
         Constraints are now based on Gecode, an up-coming, cutting-edge
         constraint library that is more than 10 times faster than the
         previous implementation and features a significant number of
         new, state-of-the-art constraints. [http://www.gecode.org]
      Graphical Tools
         Inspector and Explorer have been reimplemented, providing
         more functionality and better looks.
      Component Model Overhaul
         The component system has been cleaned up and is now more
         flexible. Components are fully dynamic.
      Standard Library
         Now contains all mandatory modules of the Standard ML Basis.
         [http://www.standardml.org/Basis]
    
    For a detailed list of changes see:
    
         http://www.ps.uni-sb.de/alice/download/CHANGES
    
    Alice is open source under a BSD-style license. Binary packages
    are currently available for Linux and Windows.
    
    Enjoy,
    
            - The Alice Team
    
  • 2004/04/15: Alice 0.9.3 (Stockhausen Operette 3 Remix 3) released. See [WWW] changes. Here is the official announcement:

    We are happy to announce the release of version 0.9.3 of
    the Alice Programming System. It is available from the
    Alice home page:
    
            http://www.ps.uni-sb.de/alice/
    
    Highlights of the release are:
    
      * Overloading.
      * Exhaustiveness and redundancy checks for patterns.
      * Polymorphic print functions for debugging.
      * Syntactic support for assertions.
      * Much more efficient remote procedures.
      * Mozart 1.3 compatibility.
    
    For a detailed list of changes, see:
    
            http://www.ps.uni-sb.de/alice/download/CHANGES
    
    This version is build for Mozart 1.3.0. It will not
    run on previous versions of Mozart!
    
    Enjoy,
    
     - The Alice Team
    
  • 2003/07/25: Alice 0.9.2 (Stockhausen Operette 3 Remix 2) released. See [WWW] changes. Here is the official announcement:

    We are happy to announce the release of version 0.9.2 of
    the Alice Programming System. It is available from the
    Alice home page:
    
            http://www.ps.uni-sb.de/alice/
    
    This version is a bug fix release that also features
    significant extensions to the library. The compiler now
    has special support for importing plain SML code. For a
    detailed list of changes, see:
    
            http://www.ps.uni-sb.de/alice/download/CHANGES
    
    Also, we recently set up a page that is intended to list
    libraries and tools contributed by the user community:
    
            http://www.ps.uni-sb.de/alice/contribs.html
    
    If you developed something useful and want to make it
    available to others, do not hesitate to mail a suitable
    link to the Webmaster.
    
    Enjoy,
    
     - The Alice Team
    
  • 2003/07/23: We have set up a [WWW] page for collecting contributions from the Alice user community. If you have written a library or tool that could be useful to a wider audience, don't hesitate to [WWW] mail us a link.

  • 2003/02/13: Alice 0.9.1 (Stockhausen Operette 3 Remix 1) released. Here is the official announcement:

    We are happy to announce the release of version 0.9.1 of
    the Alice Programming System. It is available from the
    Alice home page:
    
            http://www.ps.uni-sb.de/alice/
    
    This version is mainly a bug fix release. It now runs with
    the official Mozart 1.2.5 release. For a detailed list of
    changes, see:
    
            http://www.ps.uni-sb.de/alice/download/CHANGES
    
    Enjoy,
    
     - The Alice Team
    
  • 2002/12/20: Alice 0.9 (Stockhausen Operette 3) released. Here is the official announcement:

    We are happy to announce the first release of the Alice programming
    system:
    
            http://www.ps.uni-sb.de/alice/
    
    Alice is a functional programming language bridging the gap
    between the statically typed, functional world of ML and the
    dynamically typed world of concurrent constraint programming as
    found in Oz. Alice combines the most appreciated features from
    both worlds.
    
    From Standard ML it inherits:
    
        Functional core language
     seamless higher-order functional programming in a
     well-established syntax
        Polymorphic type system
     strong static typing with automatic type inference
        Higher-order modules
     parameterization and encapsulation via type abstraction
        Simplicity
     high expressiveness with few orthogonal language
     constructs
        Compatibility
     access to a large pool of libraries and introductory
     literature
    
    From Oz it inherits:
    
        Futures
     laziness and light-weight concurrency with implicit
     dataflow synchronisation
        Components
            platform-independent higher-order persistence and
            lazy dynamic linking
        Distribution
     network transparent mobility with fault tolerance
        Constraints
     concurrent constraints and programmable search
     for combinatorical problems
        Interactive tools
     browsers for data structures and search spaces
        Interoperability
     application development in mixed ML/Oz environment
    
    Alice also provides features not found in either language:
    
        Promises
     safer "logic variables" with separated read/write view
        Runtime typing
     type-safe linking, persistence and inter-process
     communication
        Packages
     typeful modules as first-class values
    
    Alice is based on the Mozart system. Alice applications can hence
    import Oz components ("functors"), and vice versa. Interoperation
    works smoothly down to the level of individual data structures.
    
    For more information, please visit the Alice project homepage:
    
            http://www.ps.uni-sb.de/alice/
    
    Enjoy,
    
     - The Alice Team