Applications and libraries/Compilers and interpreters
From HaskellWiki
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 compilers and interpreters implemented in Haskell.
Contents |
1 Large languages
1.1 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
- Ehc
- The purpose of the EHC project is to provide a description of a Haskell compiler which is as understandable as possible so it can be used for education as well as research.
- pH
- A parallel version of Haskell from MIT.
1.1.1 Helium
- Helium
- A Haskell subset for educational purposes
1.1.2 Generic Haskell
- Generic Haskell
- An extension of Haskell that supports generic programming
1.1.3 Data Field Haskell
- Data Field Haskell
- A dialect of the functional programming language Haskell that provides an instance of data fields
1.1.4 Eden
- Eden
- A Haskell dialect for parallel programming
1.1.5 Chameleon
- Chameleon
- A Haskell-style language which implements the ideas described in a ``A Theory of Overloading``
1.1.6 CHR (Constraint Handling Rules)
- CHR (ps)
- A concurrent committed-choice constraint logic programming language, implemented using GHC's software transactional memory.
1.2 Perl
- Pugs
- Pugs is an implementation of Perl 6, written in Haskell. It aims to implement the full Perl6 specification.
1.3 Ruby
- RType
- RType is a Ruby interpreter written in Haskell
1.4 Flapjax
- Flapjax
- Flapjax is a language for functional reactive programming of AJAX web applications, whose compiler (source) is written in Haskell.
1.5 Scheme
- Write Yourself a Scheme in 48 Hours
- A small Scheme interpreter
1.6 Lisp
- A Lisp Interpreter In Haskell
- A small lisp interpreter written in Haskell
1.7 Emacs Lisp
- Helisp
- The beginnings of an Emacs lisp compiler/interpreter.
1.8 Epigram
- Epigram
- Epigram is a prototype dependently typed functional programming language
1.9 Curry
- The Münster Curry Compiler
- A native code compiler for the declarative multi-paradigm language Curry, written in Haskell
1.10 Bluespec
- Bluespec
- A compiler for a hardware description language translating a Haskell-like (but with System Verilog syntax these days) language to Verilog.
1.11 Cayenne
- Cayenne
- A compiler for a Haskell-like language with depedent types.
1.12 Agda
- Agda
- A Cayenne-like programming language and proof assistant.
1.13 PolyP
- PolyP
- A polytypic programming language
1.14 Forth
- Harrorth
- Harrorth, a Forth interpreter
1.15 Eiffel
- Dynamic binding in Eiffel
- A model of dynamic binding in ECMA Eiffel, in Haskell
1.16 Crouton
- Crouton
- Crouton is a small but fairly complete functional programming language for querying and transforming parsed manuscripts, such as the PPCME. It is intended as an alternative to Corpus Search, based on a different philosophy. It is written in (and largely based on) the very nice functional programming language Haskell using the Parsec library
1.17 Javascript
- HJS
- HJS is a Javascript parser written in Haskell. Available from HackageDB.
2 Small languages
2.1 Baskell
- Baskell
- An interpreter for a small functional programming language. Supports strict and non-strict evaluation, and type inference. Useful for teaching purposes.
2.2 Unlambda
- Unlambda.hs
- An implementation of unlambda in Haskell
2.3 BF
- BF.hs
- An implementation of BF in Haskell
2.4 Lambda calculus
- 4 lambda calculus implementations
- With code, by Lennart Augustsson.
- LMEngine
- An implementation of the untyped lambda calculus
2.5 QML, a functional quantum programming language
- QML: A Functional Quantum Programming Language project
- It is implemented in Haskell.
For online material on quantum computing in general, see Quantum Computation course held by John Preskill.
2.6 HQL - HHM's Quantified Lambda
- Hernan's Quantified Lambda
- a small functional language, whose expressions can involve the use of quantifier operators
2.7 Atom
- Atom
- Atom is a small HDL that compiles conditional term rewriting systems down to Verilog RTL.
3 Debuggers
- Debussy
- A declarative debugger for OBJ-like languages
This page contains a list of libraries and tools in a certain category. For a comprehensive list of such pages, see Libraries and tools.
