Haskell

Adds a linear fat arrow %1 => this is meant to greatly improve the ergonomics of some of the APIs using linear types (it tends to apply to APIs based on typestate or related to mutation)....

The Haskell Cryptography Group is glad to announce the first public release of our low-level bindings to libsodium....

How to upgrade...

It is my great pleasure to announce that we have hired a new Executive Director for the Haskell Foundation: José Manuel Calderón Trilla. José is a long-time Haskeller and Haskeller-educator, with a PhD from the University of York, a stint at Galois, and is currently wrapping up a lectureship at the University of Maryland...

In this episode, we are going to look at the common design pattern where we abstract all the fields of a record type over a type constructor which can then be instantiated to the identity to get the original record type back, but also to various other interesting type constructors. We are going to look at a few examples, and are...

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....

A lot of the Rust Haskell interop examples out there are for small, synchronous libraries. They also tend to omit how to actually package the Rust library. We'll take a look at challenges and solutions for how to integrate a Tokio-based Rust library with Haskell.

This will be streamed today, 2023-08-30, at 1830 UTC.

I gave a talk on monads to some friends yesterday and recorded it for anyone who's interested. They are current and retired programmers, so the talk may suit others in that line of work....

Laziness is a critical but often maligned aspect of Haskell, and as this video argues, it is frequently misunderstood. In this video, Alexis explains how even strict evaluation in imperative programming languages is not always quite as strict as it seems, and how deviating from strictness can often significantly improve...

Read about the latest GHC development activity in this report from Well-Typed. Highlights include bug fixes and performance improvements.

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...

Perhaps we could also have a cabal doctests command?

Hi all!...

Today, 2023-07-12, at 1830 UTC (11:30 am PDT, 2:30 pm EDT, 7:30 pm BST, 20:30 CEST, …) we are streaming the seventh episode of the Haskell Unfolder live on YouTube:...

In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer....

News about the Haskell programming language from 2024-05-16.

h/t @bgamari

ghc-debug is a debugging tool for performing precise heap analysis of Haskell programs (check out our previous post introducing it). While working on Eras Profiling, we took the opportunity to make some much needed improvements and quality of life fixes to both the ghc-debug library and the...

News about the Haskell programming language from 2024-04-18.

This is the first of a two-part series of blog posts on GHC specialization, an optimization technique used by GHC to eliminate the performance overhead of ad-hoc polymorphism and enable other powerful optimizations. There will also be a Haskell Unfolder episode about this topic.

News about the Haskell programming language from 2024-04-04.