Maintainers using generative AI to write library code are introducing unprecedented quality, legal, and maintenance risks into the open-source supply chain, as downstream projects face broken changes,…
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` …
A team used PureScript and Haskell to optimize a large-scale distributed workflow engine, reducing end-to-end latency from 60 seconds to under 6 seconds. By applying functional programming principles …
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 …
A developer explains the basics of type inference for anonymous records, arguing that good type inference for such records is a key missing feature in statically typed languages. The post introduces t…
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…
After two years of using OCaml to rewrite the Austral compiler, the author shares a critical assessment of the language, highlighting its syntactic flaws and pragmatic shortcomings while acknowledging…
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…
This article provides instructions for an AI agent to act as a Lean 4 mentor for an experienced software engineer with a math background. It emphasizes building a correct mental model of Lean as an in…
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…
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 core problem with both OOP hierarchies and functional programming's "make illegal states unrepresentable" approach is that they prematurely crystallize messy, evolving business domains into rigid …
Notes for a CS51 guest lecture comparing OCaml and Elm, highlighting Elm's common uses in web apps, data visualization, and 3D graphics with specific library examples. It also discusses Elm's advantag…