Three-Shake 兩名工程師將於函數型祭典發表演講

株式會社 Three-Shake（總公司：東京都中央區，代表取締役社長：吉田拓真，以下簡稱 Three-Shake）宣布，其兩名工程師將於 2026 年 7 月 11 日（星期六）和 12 日（星期日）在中野中央公園會議中心舉辦的「函數型祭典」上發表演講。

函數型祭典官方網站：https://2026.fp-matsuri.org/

■ 關於函數型祭典

去年的「函數型祭典」共有 494 名參與者和 48 位講者，舉辦了多樣化的議程，促成了跨越語言社群的交流與學習。由於廣受好評，今年我們將再次舉辦「函數型祭典 2026」！

函數式程式設計已被主流語言和框架所採用，並得到廣泛實踐。其方法論本身也在持續演進。然而，也存在著「困難、難以親近」的聲音，因此可以說它尚未完全普及。

我們的目標是提供一個場所，讓來自不同背景的人們能夠透過函數式程式設計獲得新知識並進行交流。無論您是經常使用函數式語言的人、對函數式程式設計感興趣的人，還是對尖端軟體開發技術感興趣的人，都歡迎您參加！

（引用自函數型祭典官方網站：https://2026.fp-matsuri.org/）

■ 活動概要

・舉辦日期與時間：

2026 年 7 月 11 日（星期六）11:00 - 18:30（開場 10:30，交流會 19:00 開始）
2026 年 7 月 12 日（星期日）10:00 - 18:30（開場 09:30）

・會場：東京都中野區中野 4 丁目 10 番 2 號 中野中央公園 South

・參加費用：需要事先從以下網址報名。

https://fp-matsuri.doorkeeper.jp/events/196475

■ 講者資訊

@nwiizo，Three-Shake 公司 Sreake 事業部

曾作為基礎設施工程師參與託管服務的開發與運營，並因多次在深夜被值班電話叫醒的經驗，開始認真思考運營的理想方式。目前任職於株式會社 Three-Shake，擔任軟體工程師。每次參與翻譯《容器安全》、《使用 Kubernetes 實踐平台工程》、《架構現代化》等技術書籍時，每多了解一件事，就會發現三件不懂的事。他在網路上使用 nwiizo 這個名字，並經營部落格「那麼，在家學習吧」。

<演講時間>

7 月 11 日（星期六）14:00 - 14:50

<標題>
型別是牆壁：不要修復 Rust 的錯誤，讓它們無法被表達

https://fortee.jp/2026fp-matsuri/proposal/48dabf60-2bcf-47f7-ada0-af638ee6af52

<議程簡介>

「即使不使用函數式語言，也能透過型別讓錯誤無法存在。」

許多系統中存在著 is_paid = true 但 payment_id 為 null，或 status = "verified" 但 verified_at 不存在的數據。這些並非邏輯錯誤；根本原因是型別系統允許表達「不應該存在的狀態」。本議程提供的答案濃縮為一句話：「型別是牆壁。」

實作語言將使用 Rust。雖然 Rust 不是函數式語言，但它具備代數資料型別（struct/enum）、不可變性、模式匹配和所有權等工具。對於不熟悉 Rust 的人，將在過程中解釋出現的語言特性。涵蓋的模式如下：

按狀態分離型別：將 UnvalidatedOrder 和 ValidatedOrder 設為不同型別，使「使用未驗證訂單進行價格計算」的程式碼在編譯時被拒絕。

Newtype 模式：編譯器檢測 CustomerId 和 OrderId 的混淆。

Smart Constructor：將約束嵌入型別而非註解中。

Make Illegal States Unrepresentable：使用代數資料型別從根本上解決標誌和 Option 的組合爆炸問題。

此外，在 AI 程式碼代理已成為日常的今天，自然語言的註解和指令可能會被忽略，但由型別定義的約束由於無法通過編譯，因此無法被物理性地破壞。型別不是「請求」，而是「牆壁」。

芳賀雅樹 (@silasolla)，Three-Shake 公司 Sreake 事業部

歷經 Web 應用程式的開發與運營後，現任職務是支援開發流程的現代化。他廣泛推動雲端原生技術、生成式 AI 和 DevOps 的導入。近年來，在參與使用 C# 和 TypeScript 進行開發的同時，他最喜歡的語言是 Standard ML，並且對容易成為黑箱的技術領域及其背後的理論計算機科學和數理邏輯感興趣。在本次函數型祭典中，他將作為核心工作人員參與運營，同時也以講者身份參加。

<演講時間>

7 月 12 日（星期日）11:30 - 12:20
<標題>
在 2026 年閱讀《The Definition of Standard ML》：作為現代穩健軟體設計的源頭
https://fortee.jp/2026fp-matsuri/proposal/5fe03d91-00cc-476f-bfc3-073c6f44aa91

<議程簡介>

即使在型別語言普及的今天，不變量和模組邊界依賴於實作的挑戰依然存在。現在是時候回歸源頭了。

大約 30 年前撰寫的《The Definition of Standard ML (Revised)》是一份罕見的文獻，它並非用自然語言的散文，而是用形式化的推理規則來定義程式語言的規範。

在本次演講中，我們將把這份形式化的規範定義，不僅視為學術讀物，更將其解讀為現代工程師日常面臨的挑戰（如設計模組邊界和解決依賴關係）的實用提示。

具體來說，我們將觸及四個與現代相關的主題：

靜態語義（精化）與動態語義（求值）的分離，以及不依賴型別資訊的動態語義。

透過不透明簽名實現的生成式型別抽象，以及在規範層級定義的型別不相容性。

在存在可變引用的情況下保持型別健全性的生成式函子，以及靜態完成型別依賴解析的模組組合。

為共存多態性和可變引用而設計的值限制，以及理論與實務之間的權衡。

我們將避免羅列艱澀的數學公式，而是透過與 TypeScript 和 Rust 等程式碼的對比以及圖解來說明其意圖。