Difference between revisions of "Applications and libraries"
(Moved web stuff from the old libraries page.) |
m (→Haskell 2010 libraries: archived dead link) |
||
(167 intermediate revisions by 36 users not shown) | |||
Line 1: | Line 1: | ||
+ | [[Category:Libraries]] [[Category:Tools]] |
||
− | {{unknown copyright}} |
||
+ | The number of Haskell packages is growing rapidly. The section 'Haskell library collections' gives an ordering of all these packages by relative importance. In the section 'Haskell applications and libraries' an ordering by category is given. Finally some guidelines for developers of new packages are presented. |
||
− | '''This page is being restructured, if possible refrain from editing it today. If you want to add something send an e-mail to bringert@cs.chalmers.se''' -- BjornBringert, 2006-03-22 |
||
+ | == Haskell library collections == |
||
− | The first place to look for data types or functions that do what you |
||
− | want is the Standard Prelude, then the |
||
− | [[Language and library specification]] (both parts of |
||
− | the Haskell standards documentation), then in whatever extra libraries |
||
− | are provided by the Haskell implementation you are using, then on the |
||
− | page you are looking at. If it is not here, then it may be in the |
||
− | [http://www.cse.unsw.edu.au/~dons/announce.html archives] of the |
||
− | [[Haskell Weekly News]]. |
||
+ | === Haskell Prelude === |
||
− | Search the standard libraries collection (by name or type signature) |
||
+ | The most important Haskell library is called the [https://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html Prelude]. It is implicitly imported by default, and includes the most commonly used functions. Make sure you know what they do and how to use them effectively. |
||
− | using [http://haskell.org/hoogle Hoogle]. |
||
+ | === Haskell 2010 libraries === |
||
− | __TOC__ |
||
+ | The Haskell 2010 [[Language and library specification]] defines a set of [http://www.haskell.org/onlinereport/haskell2010/haskellpa2.html libraries] with basic functionality which all Haskell implementations should support, including the Prelude. Changes to these libraries are handled by the [http://web.archive.org/web/20191229055836/https://prime.haskell.org/ Haskell'] process. |
||
+ | Haskell modules that almost everybody uses are in this group, for example: |
||
− | There is an effort underway to standardise many of the extra libraries that come with Haskell implementations, and at the same time extend the module namespace into a hierarchy. A document describing this project can be found [http://www.haskell.org/~simonmar/libraries/libraries.html here], and there is a [http://www.haskell.org/mailman/listinfo/libraries mailing list] for discussing issues related to libraries. |
||
+ | [http://www.haskell.org/onlinereport/haskell2010/haskellch13.html Control.Monad], [http://www.haskell.org/onlinereport/haskell2010/haskellch20.html Data.List] |
||
+ | and [http://www.haskell.org/onlinereport/haskell2010/haskellch41.html System.IO]. Within GHC, these are mostly grouped into the [http://hackage.haskell.org/package/base base] package, but for example [http://www.haskell.org/onlinereport/haskell2010/haskellch14.html Data.Array] is in the [http://hackage.haskell.org/package/array array] package. |
||
+ | === GHC bootstrap libraries === |
||
− | A large collection of [http://www.haskell.org/ghc/docs/latest/html/libraries/index.html standard hierarchical libraries] are currently distributed with GHC (from version 5.04), Hugs (from Nov 2003), and nhc98 (from 1.16). |
||
+ | GHC comes with an expanded version of the Haskell 2010 libraries. Together these are called the [http://www.haskell.org/ghc/docs/latest/html/libraries/index.html GHC bootstrap libraries]. You should not rely on this list being stable, since it is just the list of packages that are needed to build GHC itself (including ghci and the user guide). |
||
+ | Examples of libraries that are GHC 7.8.3 boot libraries (but not core libraries, see below): |
||
− | [[Cabal]], The Common Architecture for Building Applications and Libraries, is an framework for packaging, building, and installing any tool developed in the Haskell language. |
||
+ | [http://hackage.haskell.org/package/haskeline haskeline], |
||
+ | [http://hackage.haskell.org/package/integer-gmp integer-gmp] and |
||
+ | [http://hackage.haskell.org/package/terminfo terminfo]. |
||
+ | === Core Libraries === |
||
− | This page is intended as a comprehensive list of all Haskell libraries and tools. Some of these are proof-of-concepts rather than production code. Some have no longer been maintained for a long time. |
||
+ | The core libraries form a subset of the packages in the Haskell Platform that has submitted to the management process described on the [[Library submissions]] page. |
||
+ | These packages typically define basic APIs that are expected to be available in any Haskell implementation, packages that are being maintained for backwards compatibility, or in some cases, which are just needed as glue to hold the rest of the platform together. |
||
− | On freshmeat.com there is [http://freshmeat.net/browse/834/?topic_id=834 an alternative list of public domain software written in Haskell]. That list is currently short (for you to change that), but in particular it displays the current development status of the software. Even more Haskell projects are documented in the [http://haskell.org/communities/ community reports] and in the archives of the [[Haskell Weekly News]]. |
||
+ | Not all GHC boot libraries are core libraries. |
||
− | == Program Development == |
||
+ | Examples of libraries, or packages, that belong to this group are: |
||
− | The contents of this section have been moved to [[ProgramDevelopment]]. |
||
+ | [http://hackage.haskell.org/package/mtl Monad transformer library], |
||
+ | [http://hackage.haskell.org/package/random random] and |
||
+ | [http://hackage.haskell.org/package/parallel parallel]. |
||
+ | === Haskell Platform libraries === |
||
− | == Data structures == |
||
+ | On top of the Core Libraries, the [http://www.haskell.org/platform/ Haskell Platform] comes preinstalled with some additional packages that together form the [http://www.haskell.org/platform/contents.html#packages-and-documentation Haskell Platform libraries]. These libraries have been thoroughly tested before being included. The addition of these libraries with the [http://www.haskell.org/platform/ Haskell Platform] is what makes it 'batteries included'. |
||
+ | Examples of included packages are: |
||
− | The contents of this section have been moved to [[DataStructures]]. |
||
+ | [http://hackage.haskell.org/package/attoparsec attoparsec], [http://hackage.haskell.org/package/network network] and [http://hackage.haskell.org/package/QuickCheck QuickCheck]. |
||
− | == |
+ | === The Hackage database === |
+ | [http://hackage.haskell.org/packages/archive/pkg-list.html Hackage] is the final layer of the Haskell library collections. [http://hackage.haskell.org/packages/archive/pkg-list.html Hackage] aims to provide a comprehensive collection of released Haskell packages, similar to Perl's CPAN or Python's PyPI. |
||
+ | Start on [http://hackage.haskell.org/packages/archive/pkg-list.html Hackage] if you are looking for some functionality that did not come preinstalled with the [http://www.haskell.org/platform/ Haskell Platform]. |
||
− | The contents of this section have been moved to [[ExtendedHaskell]]. |
||
+ | See also the [[Hackage|Hackage wiki page]] and [[Cabal/How to install a Cabal package | how to install a Cabal package]]. |
||
− | == Interfacing with other languages and systems == |
||
+ | == Haskell applications and libraries == |
||
− | <dl> |
||
− | <dt>[http://www.haskell.org/haxr/ HaXR - the Haskell XML-RPC library]</dt> |
||
− | <dd>An XML-RPC client and server library. [http://www.xmlrpc.com/ XML-RPC] is "remote procedure calling using HTTP |
||
− | as the transport and XML as the encoding. XML-RPC is designed to be as |
||
− | simple as possible, while allowing complex data structures to be |
||
− | transmitted, processed and returned."</dd> |
||
+ | Applications, libraries and tools for Haskell or written in Haskell have been classified below, but you should check [http://hackage.haskell.org/packages/archive/pkg-list.html Hackage] for the latest list. |
||
− | <dt>[http://www.dcs.shef.ac.uk/~simonf/HAIFA.html HAIFA]</dt> |
||
− | <dd>HAIFA is an implementation of parts of the web-service architecture in Haskell. Notably it includes an XML serializer, a partial implementation of XML Schema and SOAP/1.1.</dd> |
||
− | </dl> |
||
+ | * [[/Music and sound/|Audio, music and sound]] |
||
− | === Tools for interfacing with other languages === |
||
+ | * [[/Bioinformatics/]] |
||
+ | * [[/Concurrency and parallelism/]] |
||
+ | * [[/Compilers and interpreters/]] |
||
+ | * [[/Compiler tools|Compiler construction, lexing, parsing, pretty printing]] |
||
+ | * [[/Cryptography|Cryptography and hashing]] |
||
+ | * [[/Data structures | Data Structures and IO Libraries]] |
||
+ | * [[/Database interfaces/]] |
||
+ | * [[/Editors|Editors written in Haskell]] and [[Editors|editors for Haskell]]. |
||
+ | * [[/Extended Haskell/]] |
||
+ | * [[/Games/]] |
||
+ | * [[/Generic programming/]] |
||
+ | * [[/GUI libraries|Graphical User Interface (GUI) Libraries]] |
||
+ | * [[/Graphics/]] |
||
+ | * [[/Hardware verification/]] |
||
+ | * [[/Linguistics|Linguistics and natural language processing]] |
||
+ | * [[/Mathematics/|Mathematics and physics]] |
||
+ | * [[/Network/]] |
||
+ | * [[/Operating system/|Operating systems and systems programming]] (also emulators) |
||
+ | * [[/Program development/]] |
||
+ | * [[/Robotics/]] |
||
+ | * [[/Statistics/]] |
||
+ | * [[/Theorem provers/]] |
||
+ | * [[/Interfacing other languages|Tools for interfacing with other languages]] |
||
+ | * [[Web|Web, HTML, XML]] |
||
+ | Other places to look include: |
||
− | The definition of a basic [http://www.cse.unsw.edu.au/~chak/haskell/ffi/ foreign function interface for Haskell (FFI)] is finished. It has been agreed on and |
||
+ | * The [[Library]] hierarchy page on this wiki. |
||
− | implemented by most Haskell implementors. The following tools already |
||
+ | * The Haskell [[Haskell Communities and Activities Report|community reports]]. |
||
− | produce code for this interface. The [http://www.reid-consulting-uk.ltd.uk/docs/ffi.html Guide to Haskell's Foreign Function Interface] provides a comparision of the different tools. |
||
+ | * The [http://www.haskell.org/mailman/listinfo/libraries mailing list] for discussion of issues related to libraries. |
||
+ | You can also [http://www.reddit.com/r/haskell_proposals/top/?t=month propose and vote on new libraries] that you'd like on [http://www.reddit.com/r/haskell reddit], and look at our past [http://web.archive.org/web/20170721102552/ghc.haskell.org/trac/summer-of-code/ Summer of Code proposals]. |
||
+ | == Guidelines for developers == |
||
− | <dl> |
||
− | <dt>[http://haskell.org/greencard/ Green Card]</dt> |
||
+ | [[Image:Cabal-With-Text-small.png|frame|Built with Cabal]] |
||
− | <dd>Green Card is a foreign function interface preprocessor for |
||
− | Haskell, simplifying the task of interfacing Haskell programs to |
||
− | external libraries (which are normally exposed via C interfaces). |
||
− | Green Card is currently able to generate code compatible with the |
||
− | [../implementations.html#ghc Glasgow Haskell Compiler], |
||
− | [../implementations.html#hugs Hugs] and [../implementations.html#nhc nhc].</dd> |
||
+ | Developer guides: |
||
− | <dt>[http://haskell.org/hdirect/ HaskellDirect]</dt> |
||
+ | * [[How to write a Haskell program|How to write a new Haskell library]] |
||
− | <dd>HaskellDirect is an Interface Definition Language (IDL) |
||
+ | * [[Library submissions|How to propose changes to the standard libraries]] |
||
− | compiler for Haskell, which helps interfacing Haskell code to |
||
+ | * [http://web.archive.org/web/20071011215053/http://pupeno.com/2006/12/12/the-lambda-revolution-v/ Creating a .deb from a Haskell Cabal package] (in the Web Archive) |
||
− | libraries or components written in other languages (C). An IDL |
||
+ | * Guide to making standard [[Library submissions|library submissions]] |
||
− | specification specifies the type signatures and types expected by a |
||
+ | * If you notice the library documentation is lacking, or could be improved, [http://www.haskell.org/haskellwiki/Improving_library_documentation please report it here] |
||
− | set of external functions. One important use of this language |
||
+ | * [[Future projects]], more projects people would like. |
||
− | neutral specification of interfaces is to specify COM (Microsoft's |
||
+ | * [[Cabal]], The Common Architecture for Building Applications and Libraries, is a framework for packaging, building, and installing any tool developed in the Haskell language. |
||
− | Component Object Model) interfaces, and HaskellDirect offers |
||
+ | * [[Hack-Nix]], a set of tools based on the [http://nixos.org Nix] package manager to manage multiple setups to build a project |
||
− | special support for both using COM objects from Haskell and |
||
− | creating Haskell COM objects. HaskellDirect groks both the OSF DCE |
||
− | dialect of IDL (including the various extensions introduced by the |
||
− | Microsoft IDL compiler) and the OMG IIOP/CORBA dialect.</dd> |
||
+ | Proposals for the module name space layout that can be used to guide the construction of new libraries. |
||
− | <dt>[http://www.cse.unsw.edu.au/~chak/haskell/c2hs/ C->Haskell]</dt> |
||
+ | * [[Hierarchical module names|Almost current guide]] |
||
− | <dd>A lightweight tool for implementing access to C libraries from |
||
+ | * [http://www.cs.york.ac.uk/fp/libraries/layout.html Proposal 1] |
||
− | Haskell.</dd> |
||
+ | * [http://www.cs.york.ac.uk/fp/libraries/layoutSM.html Proposal 2] |
||
+ | === Libraries for other languages === |
||
− | <dt>[http://hsffig.sourceforge.net HSFFIG]</dt> |
||
− | <dd>Haskell FFI Binding Modules Generator (HSFFIG) is a tool that takes a |
||
− | C library include file (.h) and generates Haskell Foreign Functions |
||
− | Interface import declarations for items (functions, structures, etc.) |
||
− | the header defines.</dd> |
||
+ | If you are thinking about designing a new library for Haskell, you ought to look what has been done in other languages. Here are standard library definitions for |
||
− | <dt>[http://www.haskell.org/gcjni GCJNI]</dt> |
||
+ | * [http://wiki.clean.cs.ru.nl/Libraries Clean] |
||
− | <dd>A Java Native Interface for Haskell. Allows Haskell to invoke |
||
+ | * [http://www.standardml.org/Basis/ Standard ML] |
||
− | Java code. Includes a tool to generate Haskell bindings for a Java |
||
+ | * [http://web.archive.org/web/20070515163201/caml.inria.fr/pub/docs/manual-ocaml/manual034.html Objective Caml] |
||
− | library. Works for hugs and ghc under both Linux and Windows.</dd> |
||
+ | * [http://srfi.schemers.org/ Scheme] |
||
− | |||
− | <dt>[http://sourceforge.net/projects/jvm-bridge/ Haskell/Java VM Bridge]</dt> |
||
− | |||
− | <dd>A bridge to the Java virtual machine via JNI for Haskell.</dd> |
||
− | |||
− | <dt>[http://haskell.org/haskellscript/ HaskellScript]</dt> |
||
− | |||
− | <dd>HaskellScript is the collective name for all Haskell |
||
− | components, both tools and libararies, that allow interaction with |
||
− | the COM/ActiveX framework.</dd> |
||
− | |||
− | <dt>[http://www.astercity.net/~khaliff/haskell/kdirect/index.html KDirect]</dt> |
||
− | |||
− | <dd>A tool to simplify the process of interfacing C libraries to |
||
− | Haskell. It is less powerful than HaskellDirect, but easier to use |
||
− | and more portable.</dd> |
||
− | </dl> |
||
− | |||
− | === Interfaces to specific systems === |
||
− | |||
− | <dl> |
||
− | <dt>[http://www.cse.unsw.edu.au/~dons/hs-plugins/ hs-plugins] |
||
− | <dd>A library for compiling and loading plugins into a running Haskell program.</dd> |
||
− | <dt>[http://www.volker-wysk.de/hsshellscript HsShellScript]</dt> |
||
− | <dd>A library for using Haskell for tasks which are usually done by shell scripts, e.g. command line parsing, analysing paths, etc.</dd> |
||
− | |||
− | <dt>[http://www.cse.ogi.edu/~erik/Personal/cgi.htm CGI Library]</dt> |
||
− | |||
− | <dd>CGI programs can receive input from the client's web browser, |
||
− | encoded in a complicated fashion, and can write output in a variety |
||
− | of formats (plain text, HTML, JPEG etc) which the client then sees. |
||
− | The decoding and encoding of the IO is often expressed in PERL or |
||
− | C, and makes CGI applications tedious and awkward to write. |
||
− | Haskell/CGI is a library for writing CGI programs in Haskell 1.3 |
||
− | and above.</dd> |
||
− | |||
− | <dt>[http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne/haskell_libs/CGI.html CGI Library]</dt> |
||
− | |||
− | <dd>An all-in-one-file version of Erik Meijer's CGI library (above) |
||
− | with some bugs fixed, a few extensions and ported to Haskell |
||
− | 98.</dd> |
||
− | |||
− | <dt>[http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne/haskell_libs/daVinci.html daVinci binding]</dt> |
||
− | |||
− | <dd>A binding to daVinci, an X-Windows based visualization tool for |
||
− | directed graphs.</dd> |
||
− | |||
− | <dt>[http://www-i2.informatik.rwth-aachen.de/~michaelw/hmpi.html hMPI]</dt> |
||
− | |||
− | <dd>hMPI is an acronym for HaskellMPI. It is a Haskell binding |
||
− | conforming to MPI (Message Passing Interface) standard 1.1/1.2. The |
||
− | programmer is in full control over the communication between the |
||
− | nodes of a cluster.</dd> |
||
− | |||
− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/smartest.html Smarty]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||
− | |||
− | <dd>The world's smartest i/o device for Haskell. An interface |
||
− | between Haskell and Squeak, a freely available Smalltalk language |
||
− | and environment.</dd> |
||
− | |||
− | <dt>[http://www.haskell.org/~petersen/haskell/popenhs/ popenhs]</dt> |
||
− | |||
− | <dd>A small library, based on runProcess in the standardised posix library. |
||
− | It provides lazy output from subprocesses.</dd> |
||
− | |||
− | <dt>[http://sourceforge.net/projects/haskell-corba/ haskell-corba]</dt> |
||
− | |||
− | <dd>This package allows Haskell programmers to write CORBA clients |
||
− | and servers using the [http://www.mico.org MICO open-source CORBA implementation]. It defines a Haskell language |
||
− | mapping for CORBA, and includes an IDL compiler which generates |
||
− | Haskell stub and skeleton modules from IDL files.</dd> |
||
− | </dl> |
||
− | |||
− | === Interfacing with databases === |
||
− | |||
− | The contents of this section have been moved to [[DatabaseInterfaces]]. |
||
− | |||
− | == Graphical User Interface Libraries == |
||
− | |||
− | The contents of this section have been moved to [[GUILibraries]]. |
||
− | |||
− | == Graphics == |
||
− | |||
− | The contents of this section have been moved to [[Graphics]]. |
||
− | |||
− | == Web, HTML, XML == |
||
− | |||
− | The contents of this section have been moved to [[WebProgramming]]. |
||
− | |||
− | == Pretty-printer libraries == |
||
− | |||
− | <dl> |
||
− | <dt>[http://research.microsoft.com/~simonpj/downloads/pretty-printer/pretty.html Pretty printer library]</dt> |
||
− | |||
− | <dd>Simon Peyton Jones made an "industrial strength" pretty |
||
− | printing library in Haskell, based on John Hughes's paper "The |
||
− | Design of a Pretty-printing Library" (in Advanced Functional |
||
− | Programming, Johan Jeuring and Erik Meijer (eds), LNCS 925). [http://www.md.chalmers.se/~rjmh/Software/NewPP.hs Original version by John Hughes].</dd> |
||
− | |||
− | <dt>[http://www.cs.uu.nl/groups/ST/Software/PP/ Pretty-printing combinators]</dt> |
||
− | |||
− | <dd>The combinators in the library are optimal in the sense that |
||
− | they produce the layout with the smallest height possible. They |
||
− | also allow the programmer to specify several different |
||
− | layouts. '''NOTE: oops web doesn't exist'''</dd> |
||
− | |||
− | <dt>[http://www.cs.uu.nl/~daan/pprint.html PPrint]</dt> |
||
− | |||
− | <dd>PPrint is an implementation of the pretty printing combinators described by Philip Wadler. |
||
− | The PPrint library adds new primitives to describe commonly occuring layouts and works well in |
||
− | practice.</dd> |
||
− | </dl> |
||
− | |||
− | == Compiler and compilation tools == |
||
− | |||
− | <dl> |
||
− | <dt>[http://www.cse.unsw.edu.au/~chak/haskell/ctk/ Manuel Chakravarty's Compiler Toolkit]</dt> |
||
− | |||
− | <dd>There is a significant set of functionality that is required in |
||
− | each compiler like symbol table management, input-output |
||
− | operations, error management, and so on, which are good candidates |
||
− | for code reuse. The Compiler Toolkit is an attempt to provide an |
||
− | open collection of modules for these recurring tasks in |
||
− | Haskell.</dd> |
||
− | |||
− | <dt>[http://www.cs.princeton.edu/zephyr/ASDL/ The Zephyr Abstract Syntax Description Lanuguage (ASDL)]</dt> |
||
− | |||
− | <dd>ASDL is a language designed to describe the tree-like data |
||
− | structures in compilers. Its main goal is to provide a method for |
||
− | compiler components written in different languages to interoperate. |
||
− | ASDL makes it easier for applications written in a variety of |
||
− | programming languages to communicate complex recursive data |
||
− | structures. asdlGen is a tool that takes ASDL descriptions and |
||
− | produces implementations of those descriptions in C, C++, Java, |
||
− | Standard ML, and Haskell.</dd> |
||
− | |||
− | <dt>[http://www.cse.ogi.edu/~mpj/thih/ Typing Haskell in Haskell]</dt> |
||
− | |||
− | <dd>A Haskell program that implements a Haskell typechecker, thus |
||
− | providing a mathematically rigorous specification in a notation |
||
− | that is familiar to Haskell users.</dd> |
||
− | |||
− | <dt>[http://www.cs.mu.oz.au/~bjpop/hatchet.html Hatchet]</dt> |
||
− | |||
− | <dd>Hatchet is a type checking and inference tool for Haskell 98, |
||
− | written in (almost) Haskell 98.</dd> |
||
− | |||
− | <dt>[http://www.cs.chalmers.se/~aarne/BNF/ The BNF Converter]</dt> |
||
− | |||
− | <dd>A High-Level Tool for Implementing Well-Behaved Programming |
||
− | Languages.</dd> |
||
− | |||
− | <dt>[http://www.cwi.nl/projects/MetaEnv/haterm/ ATerm Library]</dt> |
||
− | |||
− | <dd>ATerms provide a generic format for representation and exchange |
||
− | of (annotated) terms. ATerms were developed in the context of the |
||
− | ASF+SDF Meta-Environment. They are also used by the rewriting |
||
− | language Stratego, by the transformation tool bundle XT, by the |
||
− | visitor generator JJForester, and by numerous other tools developed |
||
− | at CWI, Universiteit Utrecht, and elsewhere.</dd> |
||
− | |||
− | <dt>Attribute Grammar</dt> |
||
− | |||
− | <dd>How can attribute grammars help at the separation of concerns, at things related to the goals of aspect oriented programming? How do they relate to other concepts like monads and arrows? |
||
− | Why are they important for the functional programmer? See Wouter Swierstra's [http://www.haskell.org/tmrwiki/WhyAttributeGrammarsMatter WhyAttributeGrammarsMatter]. |
||
− | |||
− | Utrecht University's [http://www.cs.uu.nl/wiki/HUT/AttributeGrammarSystem Attribute Grammar System] tools include also an attribute grammar compiler, UUAGC. The concept of attribute grammar was used in their [http://www.cs.uu.nl/wiki/Ehc/WebHome Essential Haskell Compiler] project, which gives us not only a working programming language, but also a good didactical material about using attribute grammars, e.g. in writing compilers.</dd> |
||
− | |||
− | </dl> |
||
− | |||
− | === Scanner and parser generators === |
||
− | |||
− | <dl> |
||
− | |||
− | <dt>[http://www.haskell.org/happy/ Happy]</dt> |
||
− | |||
− | <dd>[[Happy]] is a parser generator system for Haskell, similar to the |
||
− | tool `yacc' for C. Like `yacc', it takes a file containing an |
||
− | annotated BNF specification of a grammar and produces a Haskell |
||
− | module containing a parser for the grammar.</dd> |
||
− | |||
− | <dt>[http://www.informatik.uni-bonn.de/~ralf/frown/ Frown]</dt> |
||
− | |||
− | <dd>Frown is an LALR(k) parser generator for Haskell 98 written in Haskell 98.</dd> |
||
− | |||
− | <dt>[http://www.ki.informatik.uni-frankfurt.de/~klose/lucky.html Lucky]</dt> |
||
− | |||
− | <dd>A parser generator for Haskell using monadic parser |
||
− | combinators. It was developed to be compatible with Happy.</dd> |
||
− | |||
− | <dt>[http://www.cs.uu.nl/wiki/Center/UtrechtParserCombinators Utrecht Parser Combinator Library]</dt> |
||
− | |||
− | <dd>The combinators in this library analyse the grammar on the fly and build parsers that are quite efficient. An interesting aspect is that parsing results become available on the fly without hanging on to the input. The parsers will give extensive error reports of erroneous situations, and wil proceed with parsing. </dd> |
||
− | |||
− | <dt>[http://www.cs.ruu.nl/~daan/parsec.html Parsec]</dt> |
||
− | |||
− | <dd>A simple, well documented monadic parser combinator library for |
||
− | fast parsers with good error messages.</dd> |
||
− | |||
− | <dt>[http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne/haskell_libs/hsparser.html HParser]</dt> |
||
− | |||
− | <dd>A parser for Haskell written purely in Haskell (using the Happy |
||
− | parser generator).</dd> |
||
− | |||
− | <dt>[http://www.cse.unsw.edu.au/~chak/haskell/ctk/ CTKlight]</dt> |
||
− | |||
− | <dd>Standalone distribution of the self-optimising lexer (i.e. regex) and parser |
||
− | combinators of the Compiler Toolkit (CTK).</dd> |
||
− | |||
− | <dt>[http://www.haskell.org/alex/ Alex: A Lexical Analyser Generator]</dt> |
||
− | |||
− | <dd>[[Alex]] 2.0 is a Lex-like package for generating Haskell |
||
− | scanners.</dd> |
||
− | |||
− | <dt>[http://www.nondot.org/sabre/Projects/HaskellLexer/ The Haskell Dynamic Lexer Engine]</dt> |
||
− | |||
− | <dd>This system is completely dynamic: the lexer may be modified at |
||
− | runtime, and string buffers may be lexed by different lexers at |
||
− | different times.</dd> |
||
− | </dl> |
||
− | |||
− | == Music == |
||
− | |||
− | <dl> |
||
− | <dt>[http://haskell.org/haskore/ The Haskore Computer Music System]</dt> |
||
− | |||
− | <dd>Haskore is a collection of Haskell modules designed for |
||
− | expressing musical structures in the high-level, declarative style |
||
− | of functional programming. Haskore is a means for describing music |
||
− | - in particular Western Music - rather than sound. It is not a |
||
− | vehicle for synthesizing sound produced by musical instruments, for |
||
− | example, although it does capture the way certain (real or |
||
− | imagined) instruments permit control of dynamics and articulation. |
||
− | Haskore compositions can be translated into various executable |
||
− | formats like MIDI and printed in traditional notation.</dd> |
||
− | |||
− | <dt>[http://meltin.net/hacks/haskell/ HasChorus]</dt> |
||
− | |||
− | <dd>A set of Haskell modules written on top of Haskore to make it |
||
− | easier to sequence simple, repetitive music.</dd> |
||
− | </dl> |
||
− | |||
− | == Numerical algorithms and mathematics == |
||
− | |||
− | <dl> |
||
− | <dt>[http://www.dinkla.net/fp/cglib.html Geometric Algorithms]</dt> |
||
− | |||
− | <dd>A small Haskell library, that contains algorithms for |
||
− | two-dimensional convex hulls, triangulations of polygons, |
||
− | Voronoi-diagrams and Delaunay-triangulations, the QEDS data |
||
− | structure, kd-trees and range-trees.</dd> |
||
− | |||
− | <dt>[http://haskelldsp.sourceforge.net/ Digital Signal Processing]</dt> |
||
− | <dd>Modules for matrix manpulation, digital signal processing, spectral |
||
− | stimation, and frequency estimation.</dd> |
||
− | |||
− | <dt>[http://www.info.unicaen.fr/~karczma/arpap/ Papers by Jerzy Karczmarczuk]</dt> |
||
− | |||
− | <dd>Some interesting uses of Haskell in mathematics, including |
||
− | functional differentiation, power series, continued fractions.</dd> |
||
− | |||
− | <dt>[http://haskell.org/docon/ DoCon] - Algebraic Domain Constructor</dt> |
||
− | |||
− | <dd>A small Computer Algebra System</dd> |
||
− | |||
− | <dt>[http://www.robtougher.com/HaskellMath/ HaskellMath]</dt> |
||
− | |||
− | <dd> |
||
− | The HaskellMath library is a sandbox for me to experiment with mathematics algorithms. So far I've implemented a few quantitative finance models (Black Scholes, Binomial Trees, etc) and basic linear algebra functions. Next I might work on either computer algebra or linear programming. All comments welcome! |
||
− | </dd> |
||
− | |||
− | <dt>[http://www.isi.edu/~hdaume/HBlas/ Wrapper to CLAPACK]</dt> |
||
− | |||
− | <dt>[http://dis.um.es/~alberto/GSLHaskell GSLHaskell]</dt> |
||
− | <dd> High level functional interface to standard linear algebra computations and other numerical algorithms based on the GNU Scientific Library. |
||
− | </dd> |
||
− | |||
− | <dt>[http://cvs.haskell.org/darcs/numericprelude/ Numeric Prelude]</dt> |
||
− | |||
− | <dd> |
||
− | Experimental revised framework for numeric type classes. |
||
− | </dd> |
||
− | |||
− | <dt>[http://wwwhomes.doc.ic.ac.uk/~ae/exact-computation/ Exact Real Arithmetic]</dt> |
||
− | <dd> |
||
− | A portal-like treatment of the topic. There are functional programming materials too, even with downloadable Haskell source. |
||
− | </dd> |
||
− | |||
− | <dt>[http://eecs.oregonstate.edu/~erwig/pfp/ Probabilistic Functional Programming]</dt> |
||
− | <dd>The PFP library is a collection of modules for Haskell that facilitates probabilistic functional programming, that is, programming with stochastic values. The probabilistic functional programming approach is based on a data type for representing distributions. A distribution represent the outcome of a probabilistic event as a collection of all possible values, tagged with their likelihood. A nice aspect of this system is that simulations can be specified independently from their method of execution. That is, we can either fully simulate or randomize any simulation without altering the code which defines it.</dd> |
||
− | |||
− | |||
− | |||
− | <dt>[http://cvs.haskell.org/darcs/numeric-quest/ mirror of the following numeric modules of Jan Skibinski]</dt> |
||
− | |||
− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/fractions.html Numerics with fractions]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||
− | |||
− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/Roots.html Roots of polynomials]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||
− | |||
− | <dd>It implements the well known Laguerre's method for finding |
||
− | complex roots of polynomials.</dd> |
||
− | |||
− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/Orthogonals.html Indexless linear algebra algorithms]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||
− | |||
− | <dd>Orthogonalization, solution of linear equations, eigenvalues |
||
− | and eigenvectors.</dd> |
||
− | |||
− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/ State vector evolution]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||
− | |||
− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/ Short study of fuzzy oscillator]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||
− | |||
− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/Tensor.html N-dimensional tensors]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||
− | |||
− | <dt>[[Sinc function]] |
||
− | |||
− | </dl> |
||
− | |||
− | == Hardware verification == |
||
− | |||
− | <dl> |
||
− | <dt>[http://www.cse.ogi.edu/PacSoft/projects/Hawk/ Hawk, Specifying and Prototyping Microprocessors]</dt> |
||
− | |||
− | <dd>The goal of the Hawk project is to develop a language for |
||
− | expressing highly abstracted specifications of modern |
||
− | microprocessor designs, to provide design teams with the ability to |
||
− | dynamically explore a wide range of design choices. The Hawk |
||
− | language is Haskell plus the Hawk library.</dd> |
||
− | |||
− | <dt>[http://www.cs.chalmers.se/~koen/Lava/ Lava]</dt> |
||
− | |||
− | <dd>Lava is a hardware description language based upon |
||
− | Haskell.</dd> |
||
− | </dl> |
||
− | |||
− | == Robots == |
||
− | |||
− | <dl> |
||
− | <dt>[http://haskell.org/yampa/ Haskell for Vision and Robotics]</dt> |
||
− | |||
− | <dd>Frob is an Embedded Domain Specific Language for controlling |
||
− | robots. It is built using the principals of Functional Reactive |
||
− | Programming, as developed by Conal Elliott for the Fran animation |
||
− | system. The current incarnation of Frob is part of the Yampa FRP system.<br> |
||
− | </dl> |
||
− | |||
− | == Cognitive Science == |
||
− | |||
− | (Tools, algorithms, frameworks, paradigms concerning Genetic Programming, Artificial Intelligence, Neural Networks, Fuzzy Logic, Natural Language Processing etc.) |
||
− | |||
− | === Genetic programming === |
||
− | |||
− | Dr. Tina Yu's [http://www.cs.mun.ca/~tinayu/index_files/Page426.htm publications], many of them on fruitful applications of Functional Programming in Genetic Programming. |
||
− | |||
− | Deryck F. Brown, A. Beatriz Garmendia-Doval and John A. W. McCall, [http://www.comp.rgu.ac.uk/staff/jm/myPublications.html A Genetic Algorithm Framework Using Haskell] |
||
− | |||
− | === Natural language processing === |
||
− | |||
− | See the [[Linguistics]] page. |
||
− | |||
− | |||
− | == Various == |
||
− | |||
− | <dl> |
||
− | <dt>[http://www2-data.informatik.unibw-muenchen.de/EdComb/ EdComb] |
||
− | <dd>Editor combinators allow to assemble structure editors compositionally instead of generating them from descriptions, just |
||
− | as parsing combinators allow to assemble parsers compositionally instead of employing parser generators to generate |
||
− | parsers from grammar descriptions. |
||
− | <dt>[http://ls5-www.cs.uni-dortmund.de/~peter/Expander2/Expander2.html Expander2]</dt> |
||
− | <dd>Expander2 is a flexible multi-purpose workbench for rewriting, verification, |
||
− | constraint solving, flow graph analysis and related procedures that |
||
− | build up proofs or computation sequences. Moreover, tailor-made |
||
− | interpreters display terms as 2D structures ranging from trees and |
||
− | rooted graphs to tables, fractals and |
||
− | other turtle-system-generated pictures.</dd> |
||
− | |||
− | <dt>[http://www.cs.vu.nl/Strafunski/ Strafunski]</dt> |
||
− | |||
− | <dd>Strafunski is a Haskell bundle that provides support for |
||
− | generic programming in Haskell, based on the concept of a |
||
− | functional strategy. It consists of a combinator library |
||
− | (StrategyLib) and a precompiler (DrIFT-Strafunski).</dd> |
||
− | |||
− | <dt>[http://www.cin.ufpe.br/~haskell/fungen FunGEn - a game engine for Haskell]</dt> |
||
− | |||
− | <dd>FunGEn (Functional Game Engine) is a 2D platform-independent |
||
− | game engine implemented in and for Haskell, using HOpenGL. It is |
||
− | intended to help game programmers in the game development process, |
||
− | in a faster and automated way.</dd> |
||
− | |||
− | <dt>[http://www.haskell.org/crypto The Haskell Cryptographic Library]</dt> |
||
− | |||
− | <dd>A library of cryptographic functions collected together in one package.</dd> |
||
− | |||
− | <dt>[http://www.cif.rochester.edu/~sankeld/RSA/ RSA]</dt> |
||
− | |||
− | <dd>A number theory library, RSA library, and RSA programs.</dd> |
||
− | |||
− | <dt>[http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/ Implementations of MD5, SHA1 and DES]</dt> |
||
− | |||
− | <dt>[http://www.dcs.gla.ac.uk/~meurig/regexp/ Regular expression library]</dt> |
||
− | |||
− | <dd>Inspired by the Perl regular expression library, written purely |
||
− | in Haskell. Also part of the GHC distribution.</dd> |
||
− | |||
− | <dt>[http://www.cl.cam.ac.uk/users/kw217/libs/ Partial v0.1]</dt> |
||
− | |||
− | <dd>The Partial library provides a partial order class. It also |
||
− | provides routines for generating a Hasse diagram from a set and a |
||
− | partial order. Renderers are provided for the abstract Hasse |
||
− | diagram representation into LaTeX (via Xy-pic) and into dot, the |
||
− | format for AT&T's Graphviz tools. Since no horizontal sorting |
||
− | is done, the Xy-pic output is rather poor at present; dot does a |
||
− | much better job with its layout optimisation algorithm.</dd> |
||
− | |||
− | <dt>[http://web.archive.org/web/*/http://www.numeric-quest.com/funpdf/ fun->pdf]<em>(since 10/06/2003: via Internet Archive)</em></dt> |
||
− | |||
− | <dd>An implementation of a PDF dynamic writer in Haskell.</dd> |
||
− | |||
− | <dt>[http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne/haskell_libs/GetOpt.html GetOpt]</dt> |
||
− | |||
− | <dd>A module for GNU-/POSIX-like option handling of commandline |
||
− | arguments</dd> |
||
− | </dl> |
||
− | |||
− | == Collections of libraries == |
||
− | |||
− | * [http://www.cs.york.ac.uk/fp/software.html Software available from the York FP group] |
||
− | * [http://repetae.net/john/computer/haskell/ John Meacham's Haskell tools and libraries] |
||
− | * [http://www.cit.gu.edu.au/~arock/haskell/index.html Andrew Rock's library of useful modules] |
||
− | * [http://www.informatik.uni-bonn.de/~ralf/software.html Libraries by Ralf Hinze] for data structures, sorting, searching, parsing, pretty printing, numerical algorithms, monads, etc. |
||
− | * [http://web.archive.org/web/*/http://www.numeric-quest.com/haskell/index.html Collection of Haskell modules] ''(since 10/06/2003: via Internet Archive)'' by Jan Skibinski, Numeric Quest Inc. |
||
− | * [http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne/haskell_libs/ Sven's Haskell Libaries] for interfacing to DaVinci, HTML/Cgi, OpenGL; a module for option handling, a Haskell parser, a binary library. |
||
− | * [http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/ Ian Lynagh's Haskell libraries] |
||
− | * [http://www.reid-consulting-uk.ltd.uk/projects/index.html Reid Consulting's Libraries and Programs] CMI, TSL, Knit, Greencard, HGL, HSX11, HSWin32 |
||
− | |||
− | == Libraries for other languages == |
||
− | If you are thinking about designing a new library for Haskell, you |
||
− | ought to look what has been done in other languages. Here are |
||
− | standard library definitions for |
||
− | |||
− | <ul> |
||
− | <li>[http://srfi.schemers.org/ Scheme]</li> |
||
− | |||
− | <li>[http://cm.bell-labs.com/cm/cs/what/smlnj/doc/basis/index.html ML]</li> |
||
− | </ul> |
Latest revision as of 01:40, 1 March 2020
The number of Haskell packages is growing rapidly. The section 'Haskell library collections' gives an ordering of all these packages by relative importance. In the section 'Haskell applications and libraries' an ordering by category is given. Finally some guidelines for developers of new packages are presented.
Haskell library collections
Haskell Prelude
The most important Haskell library is called the Prelude. It is implicitly imported by default, and includes the most commonly used functions. Make sure you know what they do and how to use them effectively.
Haskell 2010 libraries
The Haskell 2010 Language and library specification defines a set of libraries with basic functionality which all Haskell implementations should support, including the Prelude. Changes to these libraries are handled by the Haskell' process.
Haskell modules that almost everybody uses are in this group, for example: Control.Monad, Data.List and System.IO. Within GHC, these are mostly grouped into the base package, but for example Data.Array is in the array package.
GHC bootstrap libraries
GHC comes with an expanded version of the Haskell 2010 libraries. Together these are called the GHC bootstrap libraries. You should not rely on this list being stable, since it is just the list of packages that are needed to build GHC itself (including ghci and the user guide).
Examples of libraries that are GHC 7.8.3 boot libraries (but not core libraries, see below): haskeline, integer-gmp and terminfo.
Core Libraries
The core libraries form a subset of the packages in the Haskell Platform that has submitted to the management process described on the Library submissions page.
These packages typically define basic APIs that are expected to be available in any Haskell implementation, packages that are being maintained for backwards compatibility, or in some cases, which are just needed as glue to hold the rest of the platform together.
Not all GHC boot libraries are core libraries.
Examples of libraries, or packages, that belong to this group are: Monad transformer library, random and parallel.
Haskell Platform libraries
On top of the Core Libraries, the Haskell Platform comes preinstalled with some additional packages that together form the Haskell Platform libraries. These libraries have been thoroughly tested before being included. The addition of these libraries with the Haskell Platform is what makes it 'batteries included'.
Examples of included packages are: attoparsec, network and QuickCheck.
The Hackage database
Hackage is the final layer of the Haskell library collections. Hackage aims to provide a comprehensive collection of released Haskell packages, similar to Perl's CPAN or Python's PyPI.
Start on Hackage if you are looking for some functionality that did not come preinstalled with the Haskell Platform.
See also the Hackage wiki page and how to install a Cabal package.
Haskell applications and libraries
Applications, libraries and tools for Haskell or written in Haskell have been classified below, but you should check Hackage for the latest list.
- Audio, music and sound
- Bioinformatics
- Concurrency and parallelism
- Compilers and interpreters
- Compiler construction, lexing, parsing, pretty printing
- Cryptography and hashing
- Data Structures and IO Libraries
- Database interfaces
- Editors written in Haskell and editors for Haskell.
- Extended Haskell
- Games
- Generic programming
- Graphical User Interface (GUI) Libraries
- Graphics
- Hardware verification
- Linguistics and natural language processing
- Mathematics and physics
- Network
- Operating systems and systems programming (also emulators)
- Program development
- Robotics
- Statistics
- Theorem provers
- Tools for interfacing with other languages
- Web, HTML, XML
Other places to look include:
- The Library hierarchy page on this wiki.
- The Haskell community reports.
- The mailing list for discussion of issues related to libraries.
You can also propose and vote on new libraries that you'd like on reddit, and look at our past Summer of Code proposals.
Guidelines for developers
Developer guides:
- How to write a new Haskell library
- How to propose changes to the standard libraries
- Creating a .deb from a Haskell Cabal package (in the Web Archive)
- Guide to making standard library submissions
- If you notice the library documentation is lacking, or could be improved, please report it here
- Future projects, more projects people would like.
- Cabal, The Common Architecture for Building Applications and Libraries, is a framework for packaging, building, and installing any tool developed in the Haskell language.
- Hack-Nix, a set of tools based on the Nix package manager to manage multiple setups to build a project
Proposals for the module name space layout that can be used to guide the construction of new libraries.
Libraries for other languages
If you are thinking about designing a new library for Haskell, you ought to look what has been done in other languages. Here are standard library definitions for