Haskell

Download Haskell Find A Library About Why use Haskell? Language definition History of Haskell Future of Haskell Implementations The Haskell Platform Learn Haskell What is Haskell? Try Haskell in your browser Learning resources Books & tutorials Library documentation School of Haskell, hosted by FP Complete Use Haskell Download Haskell Language specification Hackage library database Applications and libraries Hoogle API search IDEs, Editors, and Tools Join the Community Haskell on reddit, Stack Overflow Mailing lists, IRC channels Wiki (how to contribute) Communities and Activities Reports Haskell in industry, research and education. Planet Haskell , The Monad.Reader Local user groups

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. Upcoming Events OOPSLA 2024 OOPSLA 2024 will be held as part of The ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'24) 2024-10-20 – 2024-10-25, Pasadena, California, United States 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024) 2024-09-02 – 2024-09-07, Milan, Italy 17th International Symposium on Functional and Logic Programming (FLOPS 2024) 2024-05-15 – 2024-05-17, Kumamoto, Japan Dutch Formal Methods Day 2024 2024-04-16, Boothzaal in the University Library on the Utrecht Science Park, The Netherlands European joint conferences on theory and practice of software (ETAPS 2024) 2024-04-06 – 2024-04-11, Luxembourg City, Luxembourg 33rd European Symposium on Programming (ESOP 2024) Co-located with ETAPS 2024 2024-04-06 – 2024-04-11, Luxembourg City, Luxembourg BOB Conference 2024 "What happens when we use what's best for a change?" 2024-03-17, Berlin, Germany The 1st Workshop on Hardware Acceleration of Functional and Declarative Languages (HAFDAL '24) Co-located with HPCA 2024-03-02 or 2024-03-03 Edinburgh, UK ፨ Recent Events Journées Francophones des Langages Applicatifs (JFLA 2024) Presentations are expected to be given in French. 2024-01-30 – 2024-02-02, Abbaye de Saint-Jacut, Saint-Jacut-de-la-Mer, France ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024) Co-located with POPL 2024 2024-01-16, London, United Kingdom 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024) Co-located with ACM POPL 2024 2024-01-15 – 2024-01-16, London, United Kingdom Certified Programs and Proofs (CPP) 2024 Co-located with POPL 2024 2024-01-15 – 2024-01-16, London, United Kingdom 25th International Symposium on Trends in Functional Programming (TFP 2024) 2024-01-09 – 2024-01-12, South Orange, NJ, USA Trends in Functional Programming in Education (TFPIE 2024) 2024-01-09 West Orange, NJ, USA, co-located with TFP 2024 at Seton Hall University Dutch Functional Programming Day (NLFP 2024) 2024-01-05, Delft, The Netherlands 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) 2023-11-26 – 2023-11-29, Taipei, Taiwan S-REPLS 13 / Fun in the Afternoon Joint meeting on Programming Languages 2023-11-01 Engine Shed, Bristol BS1 6HQ, United Kingdom 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 Haskell Symposium 2023 Co-located with the International Conference on Functional Programming (ICFP) 2023-09-08 – 2023-09-09, Seattle, WA, USA The First ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large (FUNARCH 2023) Co-located with ICFP 2023-09-08 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 8th Workshop on Type-Driven Development (TyDe 2023) Co-located with ICFP 2023-09-04, Seattle, Washington, USA The 35th Symposium on Implementation and Application of Functional Languages (IFL 2023) 2023-08-29 – 2023-08-31, Braga, Portugal Headlines 2023 November GHC 9.4.8 is released October GHC 9.8.1 is released September GHC 9.6.3 is released August: GHC 9.4.6 is released June Stackage LTS 21.0 is released with GHC 9.4.5 Stackage Nightly moves to GHC 9.6 May GHC 9.2.8 is released GHC 9.6.2 is released April GHC 9.4.5 is released 2022 October The Haskell Error Index is introduced 2021: December: GHC 9.0.2 is released August: GHC 8.10.7 is released June: Stackage Nightly moves to GHC 9.0.1 GHC 8.10.5 is released (now works on Apple M1 processors) The Haskell Foundation gets two new sponsors Recent Package Updates See here 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.