This episode's guest is Ranjit Jhala. We discuss how Ranjit developed Liquid Haskell as a litmus test, because if Haskell programmer's won't use Liquid Types, no one will. We also hear how writing Haskell is a joy and how you should never underestimate your students.
News about the Haskell programming language from 2023-08-24.
Haddock is the documentation generation tool for Haskell....
News about the Haskell programming language from 2023-08-17.
Generate contextually sensible fuzz tests for servant apps
It’s well known in the Haskell world that type class instances cannot be overridden. When you have an instance in scope, you are stuck with it. Is this a feature? Is this a bug? Maybe either depending on the problem you are facing. I have my own opinions, but let me lay out the case for wanting to be able to override...
Read about the latest GHC development activity in this report from Well-Typed. Highlights include bug fixes and performance improvements.
Garbage collection with zero-cost at non-GC time.
CLC seeks nominations for a vacant seat. Who should apply? Anyone who meets the following criteria should apply: Candidates should have enough bandwidth to review merge requests to base on a semi-frequent basis (3 to 5 per month), and sustain this for their 3 years term in a healthy manner. Candidates should be able to...
The GHC developers are very pleased to announce the availability of the second alpha prerelease of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org. GHC 9.8 will bring a number of new features and improvements, including: Preliminary support the TypeApplications...
News about the Haskell programming language from 2023-08-10.
The GHC developers are happy to announce the availability of GHC 9.4.6. Binary distributions, source distributions, and documentation are available at downloads.haskell.org. This release is primarily a bugfix release addressing some issues found in 9.4.6.
Hi everyone, The Cabal team would like to ask our users if anyone would object to the Nix Integration being removed (following a reasonable deprecation cycle). It has been reported to us that the feature is non-functional, misleading and the documentation lacking.
Abstract: We introduce the framework FreeCHR, which formalizes the embedding of Constraint Handling Rules (CHR) into a host-language, using the concept of initial algebra semantics from category theory, to establish a high-level implementation scheme for CHR, as well as a common formalization for both theory and practice. We...
Arnaud Spiwack is interviewed by Matthías Páll Gissurarson and Joachim Breitner. We learn all about linear types in Haskell, how linear types go beyond Rust's ownership system and why it's not always best to type check everything in core. We conclude with a peek into the many activities of Arnaud's employer, Tweag.
Hi, If you are a library maintainer or a commercial user of Haskell, we’ve got good news for you! We’ve created a template project for running GHC nightly builds. This will allow you to detect incompatibilities before they make it into a GHC release and inform the GHC developers! You can check it out here....
Perhaps we could also have a cabal doctests command?
The GHC developers are very pleased to announce the availability of the first alpha prerelease of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org. GHC 9.8 will bring a number of new features and improvements, including:...
We built an open source Android app for Private Storage, with Haskell, in six months.
Rendered: https://github.com/hasufell/tech-proposals/blob/job-posting-platforms/proposals/0000-job-posting-platforms.md
