FrontpageDraft

Search haskell.org About Introduction Language definition History of Haskell Future of Haskell Implementations GHC Hugs nhc98 Yhc Learning Haskell Haskell in 5 steps Learning Haskell Books and tutorials Wiki articles Blog articles Videos Wikibook Research papers Libraries Standard libraries Hackage library database Applications and libraries Hoogle: library search Community Communities and active projects Education Industry Research Mathematics Mailing lists IRC channel User groups Planet Haskell Haskell Weekly News The Monad.Reader The Haskell Sequence Haskell pastebin Conferences Contests Jobs Humor Merchandise haskell.org Contributing to this site Languages: en es ro pt fr ru zh/cn

Haskell is a modern, general-purpose, pure functional programming language that combines many powerful results from research into a practical programming language. Its features include: Static typing, which increases robustness by allowing the compiler to catch many common errors automatically. Type inference, which deduces types automatically and frees the programmer from writing superfluous type signatures. Higher order functions, polymorphism, and lazy evaluation, which enable higher levels of abstraction and more compositional, thus more reusable code. Purity, which helps to keep code maintainable, enables automatic, randomized testing and eases concurrent programming significantly. Haskell comes with many libraries, freely available compilers for almost any computer, debuggers, profilers, code coverage and testing tools. Events Upcoming Events 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023) Co-located with SPLASH 2023 2023-10-22 – 2023-10-27, Cascais, Lisbon, Portugal 30th Static Analysis Symposium (SAS 2023) 2023-10-22 – 2023-10-27, Cascais, Lisbon, Portugal 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 2023-10-23 – 2023-10-24, Cascais, Lisbon, Portugal 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023) Part of SPLASH 2023 and co-located with LOPSTR 2023 2023-10-22 – 2023-10-23, Cascais, Lisbon, Portugal CMSB 2023: 21st Conference on Computational Methods in Systems Biology 2023-09-13 – 2023-09-15, Luxembourg City, Luxembourg Haskell Symposium 2023 Co-located with the International Conference on Functional Programming (ICFP) 2023-09-08 – 2023-09-09, Seattle, WA, USA 28th ACM SIGPLAN International Conference on Functional Programming (ICFP) 2023-09-04 – 2023-09-09, Seattle, Washington, USA ACM SIGPLAN Haskell Implementors' Workshop Co-located with ICFP 2023-09-04, Seattle, Washington, United States 22nd ACM SIGPLAN Erlang Workshop @ ICFP (ERLANG 2023) Co-located with ICFP 2023-09-04, Seattle, Washington, USA The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2023) (the day before ICFP 2023) 2023-09-04, Seattle, Washington, USA The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) 2023-07-24 – 2023-07-26, Halifax, Nova Scotia, Canada The 13th International Conference on Sustainable Energy Information Technology (SEIT) In Conjunction with MobiSPC 2023-07-24 – 2023-07-26, Halifax, Nova Scotia, Canada Theoretical Aspects of Software Engineering (TASE 2023) 2023-07-04 – 2023-07-06, Bristol, UK Utrecht Summer School on Advanced Functional Programming 2023 2023-07-03 – 2023-07-07, Utrecht, the Netherlands, 03 July – 07 July 2023 16th International Symposium on High-Level Parallel Programming and Applications (HLPP 2023) 2023-06-29 – 2023-06-30, Cluj-Napoca, Romania 21st annual Oregon Programming Languages Summer School (OPLSS 2023) 2023-06-26 – 2023-07-08, Eugene, Oregon, USA 10th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) Co-located with MFPS XXXIX 2023-06-19 – 2023-06-21, Bloomington, Indiana (USA) and online 9th International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY 2023) Co-located with PLDI 2023 2023-06-17, Orlando, Florida 29th International Conference on Types for Proofs and Programs (TYPES 2023) 2023-06-12 – 2023-06-15, Valencia, Spain 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 2023-04-23, Paris, France Eelco Visser Commemorative Symposium 2023-04-05, Delft, The Netherlands Recent Events BOB 2023-03-17, Berlin, Germany The 6th International Conference on Emerging Data and Industry (EDI40) 2023-03-15 – 2023-03-17, Leuven, Belgium FOSDEM Haskell Devroom 2023-02-04 – 2023-02-05, Brussels Certified Programs and Proofs (CPP) 2023 (co-located with POPL 2023) 2023-01-16 – 2023-01-17, Boston, MA, USA 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023) 2023-01-15 – 2023-01-21, Boston, MA, USA 24th International Symposium on Trends in Functional Programming (TFP 2023) 2023-01-13 – 2023-01-15, Boston, MA, USA Trends in Functional Programming in Education (TFPIE) 2023-01-12, Boston, MA, USA 30th Netherlands Functional Programming Day 2023-01-06, Eindhoven, The Netherlands Workshop on Programming Languages and Analysis for Security (PLAS 2022) 2022-12-12, Virtual Haskell eXchange 2022-12-07 – 2022-12-09, London UK Software Language Engineering (SLE) 2022 2022-12-05 – 2022-12-10, Auckland, New Zealand Headlines Videos of the Haskell Workshop 2007 talks and discussion are now available again (on a different host to previously). They are in QuickTime (H264 video, AAC audio) format, at 320x240 pixels, low frame rate (but still about 120Mb per half-hour talk). Haskell.org is a mentoring organisation in the 2007 Google Summer of Code. 9 students have been funded by Google to work on infrastructure projects for Haskell. The Haskell-prime committee has started work on defining the next minor revision of the language specification. News Recent Package Updates See here The Ro/Haskell group and EduSoft are anouncing a special price (8 RON - somewhere between 2-3 euros in local currency) for "Introducere in Haskell 98 prin exemple" by Dan Popa (eng. Introduction in Haskell 98 by examples) 230pp, 24 cm. Tip: You have to answer the question:"What is the name of the romanian Haskell group or it's URL?" Recommanded for readers from Romania and Rep.Moldova. Limited stock. See the [ro] page for details or send an e-mail to : contact@edusoft.ro Price valid untill 21 of december or the end of the stock.

Headline text

Bold text