Top : Computers : Programming : Languages : Haskell :
Implementations
Websites
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.
site exerpt
Chameleon New version available source (see README how to build) examples are under the test directory chameleon just-infer-types dont-import-implicit filename.ch typechecks the program text in filename.ch in the current version the type error reporting mode is switched off (see here for...Dialect with instance of data fields (a generalization of arrays), useful for rapid prototyping of parallel algorithms, and parallel high-level system specification.
site exerpt
Data Field Haskell, Introduction The continuing advances in semiconductor and hardware technology are leading to a situation where transistors are free and communication costly. This will make parallel systems-on-a-chip standard. These systems must be specified and programmed: this requires parallel programming and specification languages....A Haskell 98 compiler.
site exerpt
nhc98 It also comes with extensive tool support for automatic compilation, foreign language interfacing, heap and time profiling, tracing, and debugging Some of its advanced kinds of heap profiles are not found in any other Haskell compiler nhc98 is available for...Java bytecode generator backend for Glasgow Haskell Compiler (GHC), so one can build Java applets or applications via the Haskell language.
site exerpt
Jaskell Project Home Page Bytecodes generator for the Haskell language. Page last modified on September 03, 2000. Haskell is a general purpose, purely-functional programming language. Haskell actually does not have a great success in the industry compared to C Java or Visual Basic. However,...A parallel eagerly evaluated variant of Haskell with syntactic provisions for loops, barriers, and I- and M- structure storage.
site exerpt
Computation Structures Group- MIT- LCS A formal definition of the pHlanguage itself is available as CSG Memo #369. It defines pH in terms of Haskell. Some modifications have been added to the type system, including constructor classes; these are in line with existing Haskell implementations....An optimizing compiler for Haskell, written in Haskell. Includes extensions for concurrency and heap & time profiling. [Open Source, BSD-like]
site exerpt
The Glasgow Haskell Compiler C hackers quick start guide is now in the source tree. 19 September 2005 GHC 6.4.1 Released download] 28 June 2005 The results of the 2005 GHC Survey are up! Status The STABLE branch is still ghc-6-4-branch, and we expect...Haskell 98 extension allowing type-safe compile time metaprogramming, with Haskell, as the manipulating language and the language being manipulated.
site exerpt
Template Haskell This web page serves to summarise the state of play vis-a-vis Template Haskell. If you'd like to help with any aspect of the implementation, please yell. What is Template Haskell? Template Haskell is an extension to Haskell 98 that allows...Extension for parallel and distributed programming, with combinators from concurrent constraint programming; computational parts of programs are expressed functionally, development was first for tightly coupled multiprocessors, evolved from Goffin.
site exerpt
Distributed Haskell Haskell is the most popular lazy, functional programming language. It includes a polymophic type system that supports overloading, a powerful standard library, and a convenient, purely functional I/O system. Currently, there are three mature implementations. There is even some poetry...A functional programming language (subset of the Haskell) and a compiler designed especially for teaching Haskell.
site exerpt
[ The Helium Homepage Home] Helium is a functional programming language and a compiler designed especially for learning Haskell. It is being developed at the Software Technology group of the Institute of Information and Computing Sciences of Utrecht University in the Netherlands. Quality of the...An interpreter for Haskell which runs on almost any platform. Primarily used for teaching.
site exerpt
Hugs 98 An advanced polymorphic type system with type and constructor class overloading. All of the features of the Haskell 98 expression and pattern syntax including lambda, case, conditional and let expressions, list comprehensions, do-notation, operator sections, and wildcard, irrefutable and `as...Object-oriented Haskell extension, using a preprocessor, supports a form of inheritance via extended class and instance declarations. Descriptions, documents, source download, links.
site exerpt
Haskell Haskell programmer can declare `object classes whose instances can inherit method definitions from one another. For example, an object class Point may have instances at types VanillaPoint and ColourPoint, and the ColourPoint instance may inherit some of its methods from...Many files for Hugs Haskell interpreter: source code, documents.
site exerpt
Mark P Jones: Hugs Archive This page provides access to the Hugs archive. The official home page for Hugs is at http haskell.org/hugs. Archived files from some earlier releases are available from the links below. total 7158 -rw-r--r 1 mpj 2793 Feb 1 1999 ANNOUNCE...Object Haskell: Haskell conservatively extended with subtyping, monadic objects.
site exerpt
O'Haskell Haskell is the purely functional language Haskell, conservatively extended with subtyping monadic objects an object-oriented imperative language, enhanced with parameteric polymorphism automatic type inference a concurrent language, with a reactive communication model asynchronous and synchronous message-passing all at the same...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.
site exerpt
Glasgow Parallel Haskell H versions are available as source or binary bundles from our FTP server (see below You must also download and install PVM (Parallel Virtual Machine if you want to execute programs on several processors. GUM The latest stable implementation of...A compiler and interactive system for Haskell 1.4, unsupported for two years now.
site exerpt
The HBC compiler C compiler is a compiler and interactive system for Haskell 1.4. The current version is 0.9999.4. Getting it The compiler can be found at ftp ftp.cs.chalmers.se/pub/haskell/chalmers About HBC Installing hbc Release notes Differences between Haskell 1.4 and hbc Using hbc...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.
site exerpt
Mark P Jones: Gofer Archive This page provides access to the Gofer archive. Please use the links below to access archived files from various releases of Gofer. total 4529 -rw-r--r 1 mpj 12525 Feb 1 1999 230-to-230a.diffs.gz -rw-r--r 1 mpj 375836 Feb 1 1999 386gofer.zip...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.
site exerpt
PolyP a polytypic programming language P a polytypic programming language Patrik Jansson, Johan Jeuring and Ulf Norell PolyP version 2 This distribution contains the source files for a compiler written in Haskell that compiles PolyP-code to Haskell. a library of polytypic functions written in PolyP...