ANNOUNCEMENT - Lisp
Users
****************************************************************************
************
New Functional Language for the Common
Lisp Environment
****************************************************************************
************
Axel is a new functional language that compiles directly into Common Lisp
code. It offers pattern-matching and the option to use static type checking
when wanted. Other features include ...
* The ability to generate portable and type-secure Lisp from Axel source
files.
* The capacity to add to the type system of Axel by adding the types of
new system functions from Lisp packages such as CLOS or CLIM.
* Excellent links to Lisp. Axel and Lisp and Lisp can be loaded together in
one file.
* Partial applications.
* Chronological backtracking when required.
* A type checker that localises type errors down to parts of individual
lines of code.
* A new approach to type theory that allows new types to be defined by
deductive rules -
this feature is more powerful than that offered by more conventional typed
languages like ML.
* High performance inferential ability for rapidly prototyping
theorem-provers and
knowledge-representation languages (KRLs).
* A trace package with stepping facility.
* Approximately 100 inbuilt system functions for the above.
Axel 2000 currently runs under CLisp and Allegro Lite. It is free for
non-commercial
applications. For more details on how to download via ftp - refer to
http://spherum.com.
··········@spherum.com