José Manuel Calderón Trilla posted the July 2024 Foundation update in our community’s Discourse instance.
In this episode, Niki and Andres talk with Sebastian, one of the main developers of Lean, currently working at the Lean Focused Research Organization. Today we talk about the addictive notion of theorem provers, what is a sweet spot between dependent types and simple programming and how Lean is both a theorem prover and an efficient general purpose programming language.
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.
