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


Dutch Functional Programming Day	Eindhoven, The Netherlands	Jan 9, 2009
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 Monadic Interpretation using Haskell from MatrixRom is now available. (Romania and Moldova)

Programare Functionala
The Ro/Haskell Group has released an online textbook (.pdf) on Haskell from Alexandru Ioan Cuza Univ. (Iasi). Ro. (Romania and Moldova)

Recent Package Updates

wxcore 0.10.7: wxHaskell core
HNM 0.1: Happy Network Manager
value-supply 0.4: A library for generating values without having to thread state.
cflp 0.2.5: Constraint Functional-Logic Programming in Haskell
wx 0.10.6: wxHaskell
hogg 0.4.1: Library and tools to manipulate the Ogg container format
llvm 0.4.1.0: Bindings to the LLVM compiler toolkit
tetris 0.27178: A 2-D clone of Tetris
network-bytestring 0.1.1.4: Fast and memory efficient low-level networking
hS3 0.4: Interface to Amazon's Simple Storage Service (S3)
haskeline 0.5.0.1: A command-line interface for user input, written in Haskell.
IfElse 0.82: Anaphoric and miscellaneous useful control-flow
rangemin 1.0.3: Effectively linear range-min algorithms.
split 0.1: Combinator library for splitting lists.

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://www.haskell.org/haskellwiki/Haskell"

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