歡迎閱讀 Haskell Weekly 的最新一期！ Haskell 是一種安全、純函數式的程式語言，擁有快速且支援並行的執行環境。 這是其社群最新動態的每週摘要。

精選

  • 2026 年 Haskell 研討會影片現已上線 by The Haskell Foundation

    沒能親臨拉珀斯維爾，或想重溫演講內容嗎？本年度 Haskell 實作者研討會與 Haskell 生態系研討會的錄影現已線上公開。這兩場研討會於 6 月 4 日與 5 日在瑞士東部應用科學大學（OST）拉珀斯維爾湖畔校區舉行，與 ZuriHac 同期舉辦，並由 Haskell Foundation 主辦。

  • 用 Haskell 實作數位電路模擬器（SICP 3.3） by kqr

    在本系列的前兩篇文章中，我們探討了實作泛用函數的方法。第一篇透過標記值並根據標記分派操作，第二篇則是填入可變的「操作–標記」對應表。我們看到這些方法大致上等同於 Haskell 現有的 sum type 與 type class 功能。現在我們要模擬一個數位電路。這個解法之所以有趣，是因為 SICP 採用隱藏的可變狀態與訊息傳遞來使程式碼呈現物件導向，甚至還使用全域可變變數來排程！我原本不確定是否能在 Haskell 中重現，但正如我們將看到的，它可以非常接近。

  • Haskell Foundation DevOps 年度紀錄，2026-07-28 by Bryan Richter

    各位可能覺得我消失了一段時間，這確實有點道理。我有點精疲力竭，也忙於其他合約。但這並未阻止我持續推進一些工作，我對即將到來的一些專案也重新燃起興趣。所以，就像一隻在迪斯可舞廳的鳳凰，我回來了，準備展現我的舞姿。

  • Haskell、強型別，以及下一代生物資訊學：Michal Gajda 專訪 by Serokell

    在這篇對 Michal Gajda 的專訪中，我們探討 Haskell 如何支援可靠且高效能的生物資料處理，涵蓋他過去在 hPDB、JSON Autotype 與 XML TypeLift 等專案的經驗。對談探討了強型別為真實生物技術流程帶來什麼價值、為什麼純度可能比惰性更重要，以及函數式程式設計如何幫助科學軟體在日益增加的處理器核心上擴展。

  • Haskell 快速迭代的小技巧 by Tom Ellis, Laurent P. René de Cotret

    Haskell 社群最近一直在討論如何在型別檢查與編譯 Haskell 程式碼時達到快速迭代。快速回饋在軟體開發中一直很重要，而由於 agentic coding 的興起，我們最近看到更多人關注這個主題。本文描述兩種加速迭代的技術：使用 ghci 來快速取得型別檢查與編譯結果的回饋，以及透過審慎選擇 ghc 與 cabal 的旗標來加速建置。這些技術可以在任何現有程式碼庫上執行，不需要你以任何方式重構程式碼，因此你可以立即改善迭代時間。讓我們深入探討！

  • 《Real World Haskell》重生 by jaror

    這本書曾經如此成功，18 年後仍有新手在閱讀，但它開始顯現時代痕跡。因此，我現在已將它轉換為 markdown 格式，並開始進行現代化更新。

  • 建構式資料建模的非理性效能 by Alexis King

    主流語言提供的型別系統已經變得相當複雜，但這種複雜性實際上為程式設計師帶來多少價值？我想要提出一個論點：實際上可能比人們想像的少。雖然有時很方便，但使用一小組簡單工具以有原則的方式應用，就可以將不變量捕捉在型別系統中；雖然複雜的型別系統可能很方便，但它們誤導了許多程式設計師，讓他們看不清在沒有內建型別系統支援的情況下，哪些東西是可以建模的。本演講旨在提供一個簡單的視角轉換，以及一套具體的設計原則，讓工作中的程式設計師在沒有花俏語言支援的情況下，也能輕鬆地在型別中建模不變量。

簡訊

  • Perspec 1.0 - 一個用於文件照片透視校正的 Haskell 桌面應用程式 by Adrian Sieber

    經過 9 年的斷續開發，我很高興宣布 Perspec 1.0 版釋出，這是一個用於校正文件、收據與白板照片透視的桌面應用程式。

  • sdl3-bindgen-sys：機器產生的 SDL3 低階繫結 by Jeremy Nuttall

    我已將 sdl3-bindgen-sys 發布至 Hackage：完整、機器產生的 Haskell 低階繫結，涵蓋 SDL3 的視窗、輸入、音訊，以及新的 GPU API，並附有來自 SDL3 標頭的說明文件！

  • siza - 在 Haskell notebook 上與本地 LLM 配對 by Michael Chavinda

    Siza，另一個 Ndebele 詞，是一個驅動 Sabela notebook 的工具（以及一些相關的 mcp 工具）。這個工具的目標是解決上述問題。我稍後會發表一篇更長的部落格文章，說明促成這件事的各種介入措施，但廣義來說，這主要是型別導向搜尋，以及一點點的上下文管理。

展示與分享

  • 歡迎 Case Split 外掛重返 HLS by Enrico Maria De Angelis

    今年夏天我是 GSoC 的貢獻者，我正將心力投注在 HLS 生態系，特別是 #5013 專案，讓已停止維護一段時間的 Case Split 外掛重新復活。

徵求參與