Haskell

We are delighted to announce that the Sovereign Tech Fund is investing in the development and maintenance of Cabal, the Haskell build system.

News about the Haskell programming language from 2023-10-19.

Wouter and Niki are joined by Iavor Diatchki to talk about his experience with different Haskell development styles, writing a high assurance wiki in php, and maintaining Haskell code across different GHC releases over multiple decades.

News about the Haskell programming language from 2023-10-12.

cross-posted from: https://infosec.pub/post/3538345

Found on Mastodon. NOT crypto.

The GHC developers are very pleased to announce the availability of the final release of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org. GHC 9.8 brings a number of new features and improvements...

What if we were to build an alternative syntax for Haskell?

This was already featured in the Weekly News a couple of weeks back, but I think maybe it deserves it's own thread. I've tried to explain this approach to some people before, but I think this article does a much better job than I have.

I do think the "Defeating" in the title might be a little bit negative, it's have preferred something neutral like "When your result type depends on your argument values", but it's still something useful to know from retaining your type safety.

This existentials and GADTs can be converted into a CPS style without type equality constraints (usually, with enough work) so that you can start from this description but use it in languages with less sophisticated type systems -- as long as they have parametricity -- like Haskell 2010.

With UndecidableInstances, the answer is a resounding yes, with a fairly direct implementation. Without it, I keep getting stuck, though I'm not as comfortable with type families as some.

(I'm not OP on Masto, but I am interested in the answer.)

In this episode Niki Vazou and Wouter Swierstra chat with Lindsey Kuper, Assistant Professor at University of California, Santa Cruz. They discuss what to do when your data center gets hit by a tornado, life in academia versus life in industry, and what is choreographic programming.

Hi everyone, servant-0.20.1 has a release candidate available! It is a compatibility release to support aeson-2.2.

A tutorial on how to implement kind inference using unification-based constraint solving.

The GHC developers are very pleased to announce the availability of the release candidate 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 ...

Binaries for this release are available at Index of /~hls/haskell-language-server-2.3.0.0/. These binaries can be installed using GHCup or the Haskell VSCode extension. All of these tarballs have associated GPG signatures. The signature should be from Zubin Duggal (key ID 588764FBE22D19C4). The prebuilt binaries in this release support the following GHC versions: 9.0.2 9.2.8 9.4.6 9.6.2 9.6.3 ...

News about the Haskell programming language from 2023-09-28.

The GHC developers are happy to announce the availability of GHC 9.6.3. Binary distributions, source distributions, and documentation are available on the release page. This release is primarily a bugfix release addressing a few issues found in the 9.6 series. These include: ...

News about the Haskell programming language from 2023-09-21.

The Haskell ecosystem has accumulated a wealth of developer tools over the years. Some of them, such as Hoogle and HLint, have existed for nearly two decades, while others, such as the Haskell Language Server and Retrie, are much more recent. GHC has changed substantially in that time, and this presents a significant challenge to tooling authors saddled with the burden of keeping their tools up to date...

Since 2015, FP Complete has been developing Stack and its associated backend infrastructure, and have donated the hardware resources, time, and expertise needed to make the services available to the community. Stack and Stackage have enabled Haskell development workflows that were not possible before, and the careful attention paid to developer usability has been very clear...

Releases notes

The GitHub repo of the #haskell basement and foundation packages was just archived, while it currently has 3764 indirect reverse dependencies including cryptonite, pandoc, and accelerate. I don't know why and I don't know what will happen now, but I am concerned.

In this farewell interview with David Thrane Christiansen, the outgoing Executive Director of the Haskell Foundation, hosts Wouter Swierstra and Matthías Páll Gissurarson use the opportunity to reflect on his tenure as ED, the recent history of the Haskell Foundation, where the HF is going and what consider if you want to apply for the role of Executive Director of the HF.