The State of #Haskell 2025 survey is out! Please take ~10 minutes to fill this out and share it with friends/colleagues/coworkers, whether or not they are users of Haskell.
| Web | https://haskell.foundation |
The Haskell Foundation
@haskell_foundation
- 830 Followers
- 0 Following
- 132 Posts
Official account for The Haskell Foundation
In this @HaskelInterlude, we’re joined by Jean-Philipe Bernardy, Senior Lecturer at University of Gothenburg and Chalmers University of Technology. We discuss letting types be your guide, getting into AI to feed yourself, and never testing your programs. https://haskell.foundation/podcast/73/
In this episode of @HaskelInterlude, we talk to Manuel Chakravarty - specifically, his work on the ghc backend such as data-parallel Haskell and the FFI and how that work segued into type system design and more. https://haskell.foundation/podcast/72
In this episode of @HaskelInterlude, Prof. Stefan Wehr (Offenburg Univ.) joins the Haskell Foundation podcast to talk large-scale Haskell, architecture, modularity, type classes, data modeling, and teaching Haskell at his current job. 🎧 https://haskell.foundation/podcast/71
Stefan Wehr
Stefan Wehr is a professor at the Offenburg University of Applied Sciences. Before becoming a professor, Stefan worked in industry on a large Haskell codebase - specifically one that's not a compiler and not a blockchain. So of course we talked about using Haskell in large projects, software architecture, modularity, type classes and data modeling and the suppression of sums outside of functional programming, and also about teaching Haskell at his current job.
In this episode of @HaskelInterlude , we interview Jurriaan Hage - a professor at Heriot-Watt University in Edinburgh. He’s known for the Helium Haskell compiler and projects like improvements to the type system, or detection of plagiarism, and more.
https://haskell.foundation/podcast/69
https://haskell.foundation/podcast/69
Jurriaan Hage
Today's guest is Jurriaan Hage. Jurriaan is a professor at Heriot-Watt University in Edinburgh who's worked with and on Haskell for many years. He's known for the Helium Haskell compiler, specifically designed for teaching, and he has plenty of other projects related to Haskell, including improvements to the type system, the generation of better error messages, or detection of plagiarism.
This episode of @HaskelInterlude, we’re joined by Michael Snoyman, author of Yesod, Conduit, Stackage and many other popular Haskell libraries. We discuss newcomer friendliness, being a Rustacean vs a Haskellasaur, and more. https://haskell.foundation/podcast/68/
Better infrastructure, fewer surprises. We’re raising $6K for a dedicated ARM server to support #Haskell’s infrastructure (CI, backups, etc). Let’s build infra you can rely on! Every contribution helps!
Donate: https://donorbox.org/infrastructure-independence
Read more: https://discourse.haskell.org/t/infrastructure-independence/12419
Infrastructure Independence | Haskell.org, Inc (Powered by Donorbox)
Historically, the Haskell community has relied on a mix of cloud providers and self-hosted servers for our core infrastructure (Hackage, Stackage, GHC, CI, etc.). More recently the Haskell Infrastructure team has completed a migration of many of i...
In this episode, we learn from Daniele Micciancio about teaching theoretical computer science with Haskell and of course Daniele's field of research - cryptographic algorithms.
Daniele Micciancio
Niki and Mike talked to Daniele Micciancio who is a professor at UC San Diego. He's been using Haskell for 20 years, and works in lattice cryptography. We talked to him about how he got into Haskell, using Haskell for teaching theoretical computer science and of course for his research and the role type systems and comonads could play in the design of cryptographic algorithms. Along the way, he gave an accessible introduction to post-quantum cryptography which we really enjoyed. We hope you do, too.
In this episode of The Haskell Interlude, we interview Andy Gordon from Cogna. We learn about Andy’s influential work including the origins of the bind symbol in Haskell, the introduction of lambdas in Excel, and we get into AI and how it can benefit non-programmers - and a little AI apocalypse talk.
Andy Gordon
Andy Gordon from Cogna is interviewed by Sam and Matti. We learn about Andy's influential work including the origins of the bind symbol in haskell, and the introduction of lambdas in Excel. We go onto discuss his current work at Cogna on using AI to allow non-programmers to write apps using natural language. We delve deeper into the ethics of AI and consider the most likely AI apocalypse.
The Haskell Foundation is happy to announce that we are teaming up with @digitalocean. Let's thank DigitalOcean for helping us keep Haskell infrastructure sustainable! #DoforOpenSource