A Haskell developer seeking reliable documentation for Template Haskell quotation types reports difficulty determining expected types for splices within quotes, such as whether a splice requires `Q Na…
The Haskell Foundation extended the deadline for talk proposals to June 5th for its June 26th online event, seeking more presentations on tools for leveraging large language models. Organizers specifi…
The article describes a Haskell data type for integer lists that includes two constructors, `Cons1` and `Cons2`, where `Cons2` embeds a `DeeperList` (which itself wraps a `List`). The author wants to …
A new Haskell package introduces the `IsText` type class with a `fromText` function to simplify conversion from `Text` to other textual data types like `ByteArray`, `ByteString`, and `OsPath`, using U…
The article discusses the design and limitations of exception annotations in Haskell, noting that the `annotated-exception` library works on older GHC versions but forces all library consumers to use …
The article discusses the ongoing difficulties with maintaining i386 (32-bit) architecture support in GHCup, including segfaults in Cabal CI and manual builds for Alpine Linux. The author is consideri…
The article explores the concept of components of natural transformations in category theory, focusing on how these components can be composed vertically. It extends the discussion of transformations,…
The article describes a problem where the Haskell language extension `OverloadedLists` automatically transforms list literals like `[]` into `fromList []`, interfering with a rewrite rule for the `++`…
Concept of homomorphic static analysis, explaining that applicatives enable such analysis while monads do not. It explores the practical implications of this distinction and the specific type of stati…
The GHCup 0.2.2.0 release, sponsored by IOG, introduces a major rewrite featuring a new "3rdparty" channel that provides access to non-core tools like Agda, ormolu, and hlint. The update also adds sup…
Technical challenges of importing Botan's `BOTAN_HAS_<feature>` support macros for use in Haskell with CPP and conditional compilation. The main obstacles include an indented `#define` in `build.h` th…
Design and efficiency of array libraries in Haskell, with the author expressing skepticism about `Data.Array`'s performance and advocating for simpler wrappers around `Data.Primitive.Array`. The autho…
Contentious debate surrounding the use of large language models (LLMs) in software development, particularly criticizing those who dismiss LLM tools without serious hands-on experience. It highlights …
The Haskell Weekly newsletter issue 525 was published on May 21, 2026, by Taylor Fausak. It compiles recent news, articles, and resources from the Haskell programming community. The issue received one…
The author experimented with implementing a lazily generated work queue for recursive algorithms like breadth-first search and grammar FIRST-Set computation, but found it outperformed by `Data.Sequenc…
An MCP server for Hackage that enables local Hoogle queries, offering better results for local package development by using local dependencies and providing access to private dependencies. The author …
The Haskell Foundation announced that Executive Director José will step down in June 2026, and the Board will restructure the organization to focus most financial resources on technical work. The Foun…
Oleg Grenrus announced he is stepping down as maintainer of the Haskell packages `aeson` and `quickcheck-instances`. In response, a community member offered to use a tool that indexes public project h…
Agent-based ant foraging simulator in Haskell and delivered a well-received 40-minute talk about the project at their company. They are now seeking suggestions for venues, particularly those related t…
The ML Family Workshop 2026 will take place on August 28, 2026, with in-person events co-located with ICFP'26 in Indianapolis and FW'26 in Paris, and will feature a single Program Committee for submis…