Revision as of 00:28, 1 November 2006

Haskell, with its support for pattern matching on data structures, generic structure traversals, and expressive type system, is popular for implementing compilers and interpreters. Here's a selection of languages implemented in Haskell.

Large languages

Haskell

GHC: GHC, The Glasgow Haskell Compiler, is written in Haskell

Yhc: Yhc, The York Haskell Compiler, is written in Haskell

Jhc: Jhc is a Haskell compiler which aims to produce the most efficient programs possible via whole program analysis

nhc98: A compiler for Haskell 98, written in Haskell

pH: A parallel version of Haskell from MIT.

Helium

Helium: A Haskell subset for educational purposes

Generic Haskell

Generic Haskell: An extension of Haskell that supports generic programming

Data Field Haskell

Data Field Haskell: A dialect of the functional programming language Haskell that provides an instance of data fields

Eden

Eden: A Haskell dialect for parallel programming

Chameleon

Chameleon: A Haskell-style language which implements the ideas described in a ``A Theory of Overloading``

Perl

Pugs: Pugs is an implementation of Perl 6, written in Haskell. It aims to implement the full Perl6 specification.

Ruby

RType: RType is a Ruby interpreter written in Haskell

Scheme

Write Yourself a Scheme in 48 Hours: A small Scheme interpreter

Lisp

A Lisp Interpreter In Haskell: A small lisp interpreter written in Haskell

Emacs Lisp

Helisp: The beginnings of an Emacs lisp compiler/interpreter.

Epigram

Epigram: Epigram is a prototype dependently typed functional programming language

Curry

The Münster Curry Compiler: A native code compiler for the declarative multi-paradigm language Curry, written in Haskell

Bluespec

Bluespec: A compiler for a hardware description language translating a Haskell-like (but with System Verilog syntax these days) language to Verilog.

Cayenne

Cayenne: A compiler for a Haskell-like language with depedent types.

Agda

Agda: A Cayenne-like programming language and proof assistant.

PolyP

PolyP: A polytypic programming language

Forth

Harrorth: Harrorth, a Forth interpreter

Small languages

Baskell

Baskell: An interpreter for a small functional programming language. Supports strict and non-strict evaluation, and type inference. Useful for teaching purposes.

Unlambda

Unlambda.hs: An implementation of unlambda in Haskell

BF

BF.hs: An implementation of BF in Haskell

Untyped lambda calculus

LMEngine: An implementation of the untyped lambda calculus

This page contains a list of libraries and tools in a certain category. For a comprehensive list of such pages, see Applications and libraries.

@@ Line 22: / Line 22: @@
 ;[http://www.csg.lcs.mit.edu/projects/languages/ph.shtml pH]
 :A parallel version of Haskell from MIT.
+===Helium===
+;[http://www.cs.uu.nl/helium/ Helium]
+:A Haskell subset for educational purposes
+===Generic Haskell===
+;[http://generic-haskell.org/ Generic Haskell]
+:An extension of Haskell that supports generic programming
+===Data Field Haskell===
+;[http://www.mrtc.mdh.se/projects/DFH/ Data Field Haskell]
+:A dialect of the functional programming language Haskell that provides an instance of data fields
+===Eden===
+;[http://www.mathematik.uni-marburg.de/~eden/ Eden]
+:A Haskell dialect for parallel programming
+===Chameleon===
+;[http://www.comp.nus.edu.sg/~sulzmann/chameleon/ Chameleon]
+:A Haskell-style language which implements the ideas described in a ``A Theory of Overloading``
 ==Perl==
@@ Line 68: / Line 88: @@
 ;[http://www.cs.chalmers.se/~catarina/agda/ Agda]
 :A Cayenne-like programming language and proof assistant.
-==Chameleon==
-;[http://www.comp.nus.edu.sg/~sulzmann/chameleon/ Chameleon]
-:A Haskell-style language which implements the ideas described in a ``A Theory of Overloading``
-==Data Field Haskell==
-;[http://www.mrtc.mdh.se/projects/DFH/ Data Field Haskell]
-:A dialect of the functional programming language Haskell that provides an instance of data fields
-==Eden==
-;[http://www.mathematik.uni-marburg.de/~eden/ Eden]
-:A Haskell dialect for parallel programming
-==Generic Haskell==
-;[http://generic-haskell.org/ Generic Haskell]
-:An extension of Haskell that supports generic programming
 ==PolyP==
@@ Line 89: / Line 93: @@
 :A polytypic programming language
-==Helium==
+==Forth==
-;[http://www.cs.uu.nl/helium/ Helium]
-:A Haskell subset for educational purposes
+;[http://feather.perl6.nl/~nothingmuch/harrorth/ Harrorth]
+:Harrorth, a Forth interpreter
 =Small languages=