株式会社 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/2026