In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your optimisation problems.

News about the Haskell programming language from 2024-03-14.

A step towards improving the state of Haskell cryptography

Read about the latest GHC development activity in this report from Well-Typed.

News about the Haskell programming language from 2024-03-07.

In this two-day event, held on the lakeside campus of OST in lovely Rapperswil, Switzerland, you can learn what you need to know in order to get started working on these tools. We’ve asked the presenters to identify ‘good first issues’ for those wanting to get their feet wet on contributing. Because the workshop is immediately prior to Zurihac 2024, you will have the opportunity to tackles one of these issues while the core developers are easily available!

Wouter and Niki interview Jose Calderon, the new Executive Director of the Haskell Foundation. Jose tells why he applied for the job, how he sees the foundation developing over the coming years, and how you can get involved in the Haskell community.

News about the Haskell programming language from 2024-02-29.

TIL strict-containers exists and includes strict vectors.

#haskell

The GHC developers are happy to announce the availability of GHC 9.8.2. Binary distributions, source distributions, and documentation are available on the release page.

This release is primarily a bugfix release addressing many issues found in the 9.8 series.

I enjoyed the simplicity of this recent Computerphile video on web servers: https://www.youtube.com/watch?v=7GBlCinu9yg

I attempted to recreate it in #haskell, but we don't really have a library on the same level of abstraction. wai is too abstract and network is not abstract enough.

News about the Haskell programming language from 2024-02-22.

In this (beginner-friendly) episode, we will use Dijkstra's shortest paths algorithm as an example of how one can go about implementing an algorithm given in imperative pseudo-code in idiomatic Haskell. We will focus on readability, not on performance.

In this episode, Wouter and Andres interview Ivan Perez, a senior research scientist at NASA. Ivan tells us about how NASA uses Haskell to develop the Copilot embedded domain specific language for runtime verification, together with some of the obstacles he encounters getting to end users to learn Haskell and adopt such an EDSL.

Today, I am happy to announce the initial release of the botan-bindings and botan-low packages to hackage. This is the result of more than 7 months of sustained effort to provide a series of bindings to the Botan C++ cryptography library, and was made possible through support from the Haskell Foundation and funding provided by Mercury. Botan is an open-source, BSD-licensed C++ cryptography library with an extensive suite of cryptographic algorithms and utilities...

The goal of this post is to give a brief introduction to hmatrix’s Static API and show how to implement a type-safe zeros function in two different ways.

Maybe the reason nobody bothered to make a new language standard is because to this day many people are still saying Haskell '98 when they refer to plain Haskell, while Haskell 2010 is 14 years old now.

#haskell

Are you noticing stutters while using an interactive application like gloss in GHCi? Try the non-moving GC, e.g.

ghci +RTS --nonmoving-gc -RTS
cabal-repl --repl-options="+RTS --nonmoving-gc -RTS"

https://gitlab.haskell.org/ghc/ghc/-/issues/24416

#haskell

Excessive laziness is a common worry when analyzing the performance characteristics of Haskell programs. It can lead to higher than expected memory usage due to heap objects being retained for longer than necessary. This is known as a “space leak”. Like any other performance issue, it can be tricky to track down and fix, especially in large, complex codebases.

At Tracis we have written a library, th-deepstrict, to help avoid this class of problem by asserting the strictness of a datatype at compile time.

We will give a brief introduction to excessive laziness; survey existing tools; and then present th-deepstrict.

Hello everyone, Join me on March 14th for an engaging event centered around all things Haskell. Our lineup includes fantastic speakers Pierre Thierry, Ashesh Ambasta, Roel van Dijk, Christiaan Baaij Bas van Gijzel and Nicolas Biri who will delve into their personal journeys, the community, tackling challenges, and much more. Admission to this event is free, and it will be conducted over Zoom, allowing participants from around the globe to join in...

News about the Haskell programming language from 2024-02-08.

By default, Haskell does not provide call stacks when errors occur. To get call stacks, one can add the HasCallStack constraint to any function to request it. However, did you know that doing this carelessly can cause memory usage to explode...

News about the Haskell programming language from 2024-02-01.

In this beginner-oriented episode we introduce a useful combinator called repeatedly, which captures the concept "repeatedly execute an action to a bunch of arguments". We will discuss both how to implement this combinator as well as some use cases.

(Will be streamed today, 2024-01-31, at 1930 UTC.)