A developer published ghcid-check, a small wrapper script around ghcid that provides programmatic fast feedback for Haskell coding agents, allowing users to launch a ghcid process with `ghcid-check --…
A thought experiment contrasts the agentic codemaxxer who produces five working Python apps through constant iteration with the haskeller who writes a lasting library while relaxing outdoors, question…
Scarf, a cash-flow-positive software company, is moving away from Haskell after seven years of production use, citing slow feedback loops and development costs. The company will retain Haskell for its…
Scrive, a legaltech company in the e-signing space, is hiring a Senior/Staff Haskell Developer for a fully remote position within the EU/EEA. The role requires 8+ years of professional experience with…
A Haskell developer explains that strictness analysis, a denotational concept, does not guarantee a function evaluates its argument on every code path, as demonstrated by the function \x y -> x `seq` …
The Haskell Foundation will host a 2.5-hour online workshop on Friday, June 26, featuring five talks on AI applications in Haskell development, including LLM integration, tooling, and agentic coding. …
MicroHs, a Haskell compiler, is being used in practical applications including keyboard firmware and interactive notebooks, demonstrating its growing utility beyond theoretical use. Developers report …
MatX, an AI chip startup, is hiring a Bluespec Design Engineer, seeking Haskell developers even without hardware experience. The role is based in Mountain View with hybrid requirements for US candidat…
A new notebook gallery called Sabela has been launched on the Haskell Discourse forum, showcasing interactive tutorials and scripts. The project, credited to contributors tomjaguarpaw and hungryjoe, a…
Christian, an engineer at Tweag, released the first version of tricorder, a new development tool for Haskell that serves as a standalone replacement for ghcid or ghciwatch. The tool features a CLI tha…
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…