Applications and libraries/Compilers and interpreters
Revision as of 19:35, 30 October 2006
Haskell, with its support for pattern matching on data structures, generic structure traversals, and expressive type system, is popular for implementing compilers and intepreters. Here's a selection of languages implemented in Haskell.
1 Large languages
- GHC, The Glasgow Haskell Compiler, is written in Haskell
- Yhc, The York Haskell Compiler, is written in Haskell
- Jhc is a Haskell compiler which aims to produce the most efficient programs possible via whole program analysis
- A compiler for Haskell 98, written in Haskell
- A parallel version of Haskell from MIT.
- Pugs is an implementation of Perl 6, written in Haskell. It aims to implement the full Perl6 specification.
- RType is a Ruby interpreter written in Haskell
- Write Yourself a Scheme in 48 Hours
- A Haskell Tutorial.
1.5 Emacs Lisp
- The beginnings of an Emacs lisp compiler/interpreter.
- Epigram is a prototype dependently typed functional programming language
- The M�nster Curry Compiler
- A native code compiler for the declarative multi-paradigm language Curry, written in Haskell
- A compiler for a hardware description language translating a Haskell-like (but with System Verilog syntax these days) language to Verilog.
2 Small languages
- An interpreter for a small functional programming language. Supports strict and non-strict evaluation, and type inference. Useful for teaching purposes.
- An implementation of unlambda in Haskell
- An implementation of BF in Haskell
2.4 Untyped lambda calculus
- 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.