dev.to | 📄 原文链接 | 2026-08-18 收录

函数式语言其实也是命令式的：两条被混为一谈的独立维度

来源：dev.to — 2026-08-17

📋 概述

作者在 AI 热潮中却翻起 90 年代的 Haskell 论文，因为 AI 是现有代码模式的「核放大镜」，而我们根本没有合适的术语去建立可扩展的代码模式。他反驳行业「函数式 = 声明式」的教条，指出函数式与声明式是两条独立的维度——同时「函数式且命令式」的代码确实存在。文章引用 1993 年 Simon Peyton Jones 与 Philip Wadler 的《Imperative Functional Programming》论文：monadic 风格的程序看起来和命令式程序惊人地相似。

🔑 核心要点

行业把「函数式」和「声明式」当成同义词，但它们是相互独立的两个维度，混为一谈会掩盖真实存在的代码形态。
同时「函数式且命令式」、以及「带副作用且声明式」的代码都存在，这推翻了「要么纯命令式、要么纯声明式」的二元论。
1993 年 Haskell 之父的论文为副作用（如 I/O）建模，用 monad 把 I/O 命令的表达与执行解耦。
monadic 风格的 Haskell 程序在结构上看起来几乎和 C 的命令式程序一样，说明「函数式」不等于「非命令式」。
AI 会放大代码库中既有模式的缺陷，所以我们迫切需要精确的术语来谈论和建立可扩展的模式。

💡 金句

AI 是代码库既有模式的核放大镜，而我们现在连正确的术语都没有。

← 返回 dev.to 首页