Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community.

Featured

  • 2026 Haskell Workshop Videos Now Online by The Haskell Foundation

    Rapperswilに行けなかった方や講演を振り返りたい方へ。今年のHaskell Implementors’ WorkshopおよびHaskell Ecosystem Workshopの録画がオンラインで公開されました。両ワークショップは6月4日と5日にスイス東部応用科学大学（OST）の湖畔キャンパスでZuriHacと並行して開催され、Haskell Foundationが主催しました。

  • Digital circuit simulator in Haskell (SICP 3.3) by kqr

    前回の2回の記事では、汎用関数を実装する方法を見てきました。1回目は値をタグ付けしてタグに基づいて操作をディスパッチする方法、2回目は操作とタグのペアの可変テーブルを埋める方法でした。これらはHaskellの既存機能である和型と型クラスに大まかに対応していることがわかりました。今回はデジタル回路をシミュレートします。SICPの解法が隠された可変状態とメッセージパッシングを使ってコードをオブジェクト指向にする点が興味深い理由です。スケジューリングに可変グローバル変数を使用しています。これをHaskellで再現できるかどうかはわかりませんでしたが、驚くほど近い形で実現できることがわかります。

  • Haskell Foundation DevOps Yearly Log, 2026-07-28 by Bryan Richter

    しばらく不在にしていたように思われるかもしれませんが、ある程度は本当です。少し燃え尽きてしまい、他の契約で忙しくなっていました。しかし、時折進捗を出し、近日中のプロジェクトに再び関心を持つようになりました。まるでディスコで舞う不死鳥のように、私は戻ってきて羽を広げる準備ができています。

  • Haskell, Strong Types, and the Next Generation of Bioinformatics: interview with Michal Gajda by Serokell

    Michal Gajdaへのこのインタビューでは、hPDB、JSON Autotype、XML TypeLiftなどのプロジェクトでの経験に基づき、Haskellが信頼性が高く高性能な生物学的データ処理をどのようにサポートできるかを探ります。会話では、強い型付けが現実世界のバイオテクノロジーパイプラインにもたらすもの、なぜ純粋性が遅延性よりも重要なのか、そして関数型プログラミングが科学ソフトウェアを増え続けるプロセッサコアにわたってスケールさせるのにどのように役立つのかを考察します。

  • Quick tips for fast iteration in Haskell by Tom Ellis, Laurent P. René de Cotret

    Haskellコミュニティでは、型チェックとHaskellコードのコンパイルで高速な反復時間を実現する方法について最近議論されています。ソフトウェア開発では常に高速なフィードバックが重要であり、エージェント型コーディングの台頭により、最近数ヶ月でこのトピックへの関心が高まっています。この記事では、高速な反復を実現する2つのテクニックを紹介します。型チェックとコンパイルの結果について高速なフィードバックを得るためのghciの使用、およびghcとcabalのフラグを慎重に選択してビルドを高速化する方法です。これらのテクニックは既存のコードベースで実行可能で、コードを再構成する必要はありません。反復時間を即座に改善できます。さっそく見ていきましょう！

  • Real World Haskell Revived by jaror

    この本は大成功を収め、18年経った今でも新人によって読まれていますが、時代遅れになり始めています。そこで、私はこれをマークダウンに変換し、近代化を始めました。

  • The Unreasonable Effectiveness of Constructive Data Modeling by Alexis King

    主流言語が提供する型システムは非常に洗練されてきましたが、その複雑さは実際にプログラマにどれほどの価値をもたらしているのでしょうか。私は、それが思われているほどではないと主張したいと思います。時として便利ですが、不変条件は少数のシンプルなツールを原則に基づいて適用することで型システムで捉えることができ、派手な型システムは便利かもしれないものの、組み込みの型システムサポートなしで何をモデル化できるかを不明瞭にすることで、多くのプログラマを誤った方向に導いてきた可能性があります。この講演は、派手な言語サポートなしに型で不変条件をモデル化することを、働くプログラマがアクセス可能に感じられるようにするための、シンプルな視点の転換と具体的な設計原則のセットを提供することを目的としています。

In brief

  • Perspec 1.0 - A Haskell desktop app for perspective correction of document photos by Adrian Sieber

    9年間の断続的な開発の後、ドキュメント、領収書、およびホワイトボードの写真の視点を補正するデスクトップアプリであるPerspecの1.0リリースを発表できることを嬉しく思います。

  • sdl3-bindgen-sys: machine-generated low-level bindings to SDL3 by Jeremy Nuttall

    SDL3の完全なマシン生成の低レベルHaskellバインディングであるsdl3-bindgen-sysをHackageにリリースしました。ウィンドウ処理、入力、オーディオ、および新しいGPU APIを含み、SDL3のヘッダーからのドキュメントも付属しています！

  • siza - pair with a local LLM on a Haskell notebook by Michael Chavinda

    Siza（もう一つのNdebele語）は、Sabelaノートブックを駆動するハーネス（および関連するmcpツール）です。このハーネスの目的は、上記の問題に対処することです。この実現を可能にした介入の種類については、別のブログ記事でフォローアップしますが、大まかには型指向の検索と少しのコンテキスト管理です。

Show & tell

  • Welcome again the Case Split plugin for HLS by Enrico Maria De Angelis

    この夏、私はGSoCのコントリビュータとして、HLSエコシステム、特に#5013にエネルギーとキーストロークを注いでいます。以前に死んでいたプラグイン、Case Splitプラグインを復活させることで、HLSエコシステムに力を注いでいます。

Call for participation