待验证50% 置信事实精确时间

纯函数、无副作用的计算模型因函数之间没有隐藏的状态依赖，天然更容易被自动并行化

1

来源数

50%

置信度

长期有效

时效性

2026/9/17

首次发现

来源

Bend编程语言：用形式化证明拦截AI错误并跑在GPU上

涉及实体

函数式编程concept

相关事实

待验证函数式编程视计算为数学函数的求值过程，强调不可变性与无副作用75% 相似待验证纯函数（Pure Function）是函数式编程的核心概念，指给定相同输入永远返回相同输出、且不产生副作用的函数73% 相似待验证激活函数是套在线性函数最外层的非线性运算，作用是把线性关系变成表达能力更强的非线性关系69% 相似待验证激活函数赋予深度网络拟合任意复杂非线性函数的理论能力，若无激活函数网络本质上仍是线性变换69% 相似待验证普通的 Function Calling 模式不具备硬约束，模型仍是尽力而为地生成符合格式的输出68% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/930414

API

curl https://kongchang.com/api/v1/knowledge/claims/930414

MCP

get_claim(id=930414)