See also:

• Computers: Programming: Compilers: Functional  (0)

Chameleon  taichi.ddns.comp.nus.edu.sg/taichiwiki/ChameleonHomePage Haskell-type language, implements ideas described in a 'A Theory of Overloading'. Compiles Chameleon to (plain) Haskell; can mix Haskell and Chameleon overloading. Descriptions, documents, downloads.

Data Field Haskell  www.mrtc.mdh.se/projects/DFH Dialect with instance of data fields (a generalization of arrays), useful for rapid prototyping of parallel algorithms, and parallel high-level system specification.

Eden  www.mathematik.uni-marburg.de/~eden Parallel functional language to program reactive systems and parallel algorithms using distributed memory. Extends Haskell, but overrules lazy evaluation whenever needed to support parallelism; gives enough control to implement parallel algorithms efficiently, no need for low level details of process management.

Glasgow Distributed Haskell  www.macs.hw.ac.uk/~dsg/gdh GdH combines the multiple processes of Concurrent Haskell with the multiple processing elements of Glasgow Parallel Haskell (GpH).

The Glasgow Haskell Compiler (GHC)  www.haskell.org/ghc An optimizing compiler for Haskell, written in Haskell. Includes extensions for concurrency and heap and time profiling. [Open Source, BSD-like]

Glasgow Parallel Haskell (GpH)  www.macs.hw.ac.uk/~dsg/gph A Haskell extension for parallel programming built on top of the Glasgow Haskell compiler (GHC). Parallelism is identified using annotations (generally evaluation strategies), that are defined using only two extra primitives: par and seq.

Gofer  web.cecs.pdx.edu/~mpj/goferarc Small interpreter for language based on Haskell report 1.2; experimental, more so for type classes. Haskell adopted some ideas of Gofer, but Gofer type class system is more flexible. Runs on DOS, Linux, Macintosh, Unix. Hugs predecessor.

Haskell++  www.cs.chalmers.se/~rjmh/Software/h++.html Object-oriented Haskell extension, using a preprocessor, supports a form of inheritance via extended class and instance declarations. Descriptions, documents, source download, links.

The HBC compiler  www.cs.chalmers.se/~augustss/hbc/hbc.html A compiler and interactive system for Haskell 1.4, unsupported for two years now.

Helium  www.cs.uu.nl/helium A functional programming language (subset of the Haskell) and a compiler designed especially for teaching Haskell.

Hugs  www.haskell.org/hugs An interpreter for Haskell which runs on almost any platform. Primarily used for teaching.

Hugs Archive  web.cecs.pdx.edu/~mpj/hugsarc Many files for Hugs Haskell interpreter: source code, documents.

Hugs98 for .NET  galois.com/~sof/hugs98.net Extension of Hugs98 Haskell interpreter, for interoperation between Haskell and .NET and its framework; can instantiate and use .NET objects in Haskell, and vice versa, call and use Haskell functions from any .NET language.

Jaskell Project  www.scdi.org/~avernet/projects/jaskell Java bytecode generator backend for Glasgow Haskell Compiler (GHC), so one can build Java applets or applications via the Haskell language.

Kahu Research  kahu.zoot.net.nz Makes Mondrian, light Haskell version to interoperate with other languages in OO environments; runs on .NET (old version for JVM), supports ASP.NET, to embed functional code in webpages with C#. Has version of Glasgow Haskell Compiler using Mondrian for .NET to compile Haskell for .NET.

nhc98 from York  www.cs.york.ac.uk/fp/nhc98 A Haskell 98 compiler.

O'Haskell  www.cs.chalmers.se/~nordland/ohaskell Object Haskell: Haskell conservatively extended with subtyping, monadic objects.

pH (MIT parallel Haskell)  csg.csail.mit.edu/projects/languages/ph.shtml A parallel eagerly evaluated variant of Haskell with syntactic provisions for loops, barriers, and I- and M- structure storage.

PolyP  www.cs.chalmers.se/~patrikj/poly/polyp Polytypic programming language; source files for compiler written in Haskell that compiles PolyP-code to Haskell; library of polytypic functions written in PolyP, some examples, documents, downloads.

Template Haskell  www.haskell.org/th Haskell 98 extension allowing type-safe compile time metaprogramming, with Haskell, as the manipulating language and the language being manipulated.