| Languages & Compilers
The language OPAL has been designed as a testbed for the development of functional programs. Opal
molds concepts from Algebraic Specification and Functional Programming, which shall favor the (formal)
development of (large) production-quality software that is written in a purely functional style.
The core of OPAL is a strongly typed, higher-order, strict applicative language which belongs to the
tradition of HOPE and ML. The algebraic flavour of OPAL shows up in the syntactical appearance and the
preference of parameterization to polymorphism.
OPAL is used for research on the highly optimizing compilation of applicative languages. This has resulted
in a compiler which produces very efficient code. The OPAL compiler itself is entirely written in OPAL.
Current Version: 2.1e
License Type: Free
Source Code Availability: Yes
Available Binary Packages:
- Debian Package: No
- RedHat RPM Package: No
- Other Packages: Yes (gzipped tar file)
SPARCs, DECstations, NeXTs, and PCs running LINUX.
Mailing Lists/USENET News Groups:
See A Screen Shot? (Not Yet)
Copyright © 1995-2001 by
Copyright © 1997-2001 by
Kachina Technologies, Inc.
All rights reserved.