Haskell is an advanced purely functional programming language. An open source product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency and parallelism, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software.

Events


Verification, Model Checking and Abstract Interpretation	Savannah/USA	Jan 18-20, 2009
Twelf Tutorial	Savannah/USA	Jan 19, 2009
Declarative Aspects of Multicore Programming	Savannah/USA	Jan 20, 2009
Practical Applications of Declarative Languages	Savannah/USA	Jan 19-20, 2009
Programming Languages meets Program Verification	Savannah/USA	Jan 20, 2009
POPL	Savannah/USA	Jan 21-23, 2009
Types in Language Design and Implementation	Savannah/USA	Jan 24, 2009

Headlines

GHC 6.10, the flagship Haskell compiler, has been released, with a new parallel garbage collector, type families and data parallel arrays. Get it now.

Real World Haskell
Real World Haskell, a new textbook on Haskell from O'Reilly is now available

Find out what the Haskell Community has been doing this year.

See videos from the 2008 Haskell Symposium!

The Haskell-prime committee is continuing work on defining the next minor revision of the language specification.

Lennart Augustsson joins Standard Chartered modelling & analytic group.

Practica interpretarii monadice
Practica interpretarii monadice, a new textbook on Haskell from MatrixRom is now available. (Romania and Moldova)

Recent Package Updates

system-uuid 1.0.2: Bindings to system UUID functions.
PlslTools 0.0.2: So far just a lint like program for PL/SQL. Diff and refactoring tools are planned
AERN-RnToRm-Plot 0.1.1: GL plotting of polynomial function enclosures (PFEs)
AERN-RnToRm 0.4.2: polynomial function enclosures (PFEs) approximating exact real functions
AERN-Real 0.9.8: arbitrary precision interval arithmetic for approximating exact real numbers
hake 1.1: make tool. ruby : rake = haskell : hake
hscurses 1.3.0.2: NCurses bindings for Haskell
haxr 3000.1.1.2: XML-RPC client and server library.
yi 0.5.2: The Haskell-Scriptable Editor
vcard 0.1.3: A library for parsing/printing vCards from/to various formats.
yjtools 0.9.7: some tools for Monad, List, Tuple and so on.
vty 3.1.6: A simple terminal access library
TypeCompose 0.6.3: Type composition classes & instances
vector-space 0.5.1: Vector & affine spaces, linear maps, and derivatives (requires ghc 6.9)
infinite-search 0.11: Exhaustively searchable infinite sets.
regexpr 0.5.1: regular expression like Perl/Ruby in Haskell
tagsoup-ht 0.2: alternative parser for the tagsoup package
CouchDB 0.8.1.0: CouchDB interface

More...

Who's using Haskell?


Credit Suisse	builds quantitative modelling systems in Haskell
Amgen	uses Haskell to rapidly build biotech modelling software
Peerium, Inc	builds reliable peer-to-peer applications in Haskell
Microsoft Research	has ongoing research investments in Haskell
Eaton Corporation	uses Haskell to control hybrid vehicles
Deutsche Bank	employs Haskell for trading software
Antiope	uses Haskell for simulation and verification of wireless systems
ABN AMRO	built interactive tools for quantitative analysts in Haskell
Galois, Inc	uses Haskell to build high assurance systems
Bluespec, Inc	uses Haskell to implement a high-level hardware description language
Qualcomm, Inc	generates Lua bindings to the BREW platform with Haskell
Bacau St.Univ.	uses Haskell for Domain Small Languages building - like Rodin

Find more Haskell success stories at CUFP and the Industry Wiki, or find a consultant.

Retrieved from "http://haskell.cs.yale.edu/haskellwiki/Haskell"

This page has been accessed 1,785,910 times. This page was last modified 18:58, 4 November 2008. Recent content is available under a simple permissive license.