José Manuel Calderón Trilla posted the Announcing Ecosystem Partnerships in our community’s Discourse instance.
We are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics dear to Haskellers’ hearts such as interactive theorem provers, writing correct programs, and the activities needed to produce them. We discuss many aspects of proofs and specifications, and the languages involved in the process, as well as verifying and producing provably correct neural networks.
Open Source Haskell hackathon
| Dates: |
Feb 7-8, 2026 |
|---|---|
| Location: |
New York, New York |
Forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure.
| Dates: |
June 6, 2025 |
|---|---|
| Location: |
Rapperswil, Switzerland |
Lessons from and for Large Haskell Deployments
| Dates: |
June 5, 2025 |
|---|---|
| Location: |
Rapperswil, Switzerland |
Building on-ramps for the Haskell Ecosystem and its Tools
| Dates: |
June 6-7, 2024 |
|---|---|
| Location: |
Rapperswil, Switzerland |
Watch Simon Peyton Jones announce the Haskell Foundation at the Haskell eXchange conference on November 4, 2020.
In this keynote, Simon talks about the Haskell Foundation's launch and its goals. At the end, he is joined by a panel of HF volunteers to take questions from the audience.
Haskell embodies a radical and elegant attack on the entire enterprise of writing software. It profoundly influences the world of software for the better.
Ideas that guide our every decision
Haskell’s design puts principle ahead of expediency by cleaving closely to the principles of purely functional programming.
All Haskell Foundation efforts are open source.
HF augments, celebrates, and coordinates the contributions and leadership of Haskell’s vibrant community.
For many, Haskell is more a way of life than a programming language. All are welcome, all can contribute. To this end we have adopted the Haskell Guidelines For Respectful Communication.
All technical decisions related to HF’s open source projects are proposed and debated in public.
The Haskell Foundation category in the Haskell Discourse is where we make official announcements, and have discussions with the community.
Official communication channel for HF Board members, the archive is publicly available.
