Haskell

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

Jezen Thomas is co-founder and CTO of Supercede, a company applying Haskell in the reinsurance industry. In this episode, Jezen, Wouter and Joachim talk about his experience using Haskell in industry, growing a diverse and remote team of developers, and starting a company to create your own Haskell job.

PSA: Since GHC 9.8 you can enable optimisations in GHCi

https://stackoverflow.com/a/77895561/15207568

#haskell

Dear Haskellers, The GHC Steering Committee is seeking nominations for new members. The committee scrutinizes, debates and eventually decides to accept or reject proposals to change the language or major features supported by GHC...

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

On behalf of the Haskell.org committee, I’m pleased to announce the results of the Summer of Haskell 2023. Many impressive and valuable contributions were made to the Haskell ecosystem which I’m excited to share with you in this post...

Hi Friends of Haskell, It is our pleasure to announce that ZuriHac 2024 will take place Saturday 8 June - Monday 10 June 2024 as a physical event at the Rapperswil-Jona campus of the OST Eastern Switzerland University of Applied Sciences. The focus of ZuriHac is being a community event and hackathon, but we will also have some exciting keynotes from Ningning Xie, Alex McLean, Ivan Perez and Mary Sheeran. In addition to that, there will be some more hands-on content: Well-Typed will host a work...