haskell

A PhD researcher demonstrates Ouros, a specialised combinator-based graph reduction processor for Haskell implemented on an FPGA, now with IO capability handled entirely in hardware with no software runtime underneath.

A blog post walking through building a disassembler for the educational LC-3 assembly language in Haskell, covering instruction decoding, fixed-point cleanup, postprocessing, and pretty-printing.

A 79-minute deep-dive blog post demonstrating how to implement full Haskell-like type class resolution in Java, covering type unification, witness resolution, higher-kinded types, and examples like Functor, Applicative, and Monad.

A former Gmail engineer investigates why sending email costs so much by implementing SMTP in Haskell, explaining how the protocol works and why third-party providers are needed for deliverability and authentication.

A blog post explaining Haskell's Kind system, covering values, types, kinds, higher-kinded types/data, and custom kinds through the author's experience adding typed configuration to a Haskell Redis server clone.

Unison Cloud が MIT ライセンスでオープンソース化されました。Nimbus ワーカーノード、API サーバー（Haskell 製）、UI など4つのプロジェクトが公開され、任意のノードプールを分散コンピュータとして扱えるようになります。

作者在重写 Haskell 生产代码库时，逐一检视 effect system 的用途，认为其大部分功能并非必需，并指出 early return 与错误处理才是 effect system 真正被使用的地方，进而质疑其必要性。

教程系列第一篇，介绍如何用 Haskell、GTK 4 和 Adwaita 构建一个待办事项应用，涵盖 haskell-gi 自动绑定工具和 Model-View-Update 架构。

A blog article clarifying the differences and similarities between module systems (OCaml) and typeclasses (Haskell, Rust), arguing that typeclasses primarily serve ad-hoc polymorphism while modules serve modular abstraction, and that each can partially emulate the other at a cost.

Edward Kmett's Turbo Haskell (THC) compiles GHC Core via Truffle/GraalVM, supporting full prim-ops, JIT and AOT via Native Image, polyglot FFI to Python/Ruby/R/JavaScript, SIMD, green threading on Project Loom, and even compiling GHC itself.

A deep-dive blog post (reposted with permission from Alexis King's 2019 explanation) clarifying that foldl and foldr differ in associativity rather than traversal direction, and exploring how this plays out differently in strict versus lazy evaluation.

This blog post describes the prototyping of a genetic algorithms library in Haskell, using recursion schemes and monadic computations for context, with code examples and resource references.

The article outlines a systematic method for improving Haskell build times by benchmarking, identifying bottlenecks like slow modules, analyzing causes such as excessive type-level programming, and evaluating trade-offs in optimizations.

Eventlog Live is a lightweight tool that enables real-time telemetry streaming from Haskell applications to OpenTelemetry-compatible observability platforms without requiring additional instrumentation.

The article explains a method to parse JSON objects without intermediate ASTs to enhance performance, using partially-initialised data in Haskell and discussing implications for speed, safety, and code derivation.

This article details the implementation of a Parquet file writer in Haskell for the DataHaskell/Dataframe library, enabling efficient data serialization and interoperability with the data science ecosystem.

Tilia is a new formatter for Haskell that addresses challenges like comment handling, operator fixity inference, and CPP support.

This post discusses methods to conduct Dijkstra's algorithm directly on algebraic graph representations without converting to adjacency maps, leveraging graph compression techniques.

The article explores how to embed functions in pure data using defunctionalization, discussing typeclasses in Haskell and a toy WASM backend example.

Companies often stop using Haskell due to poor adoption strategies and a mismatch between the language's strengths and short-term business incentives, rather than technical shortcomings.