- 前些天菲尔兹奖一顿火热,都在关注 AI 辅助数学研究。
- 我看到 C++ 20 的语法,就觉得挺纠结的。
template <typename T>
requires requires (T x) { x + x; } // `requires` 同时使用在 concept 的定义和使用上
T add(T a, T b) {
return a + b;
}
- 就是这个
requires requires就很怪异。 - 假如让 ai 来参与设计语言,应该会很厉害吧。
template <typename T>
requires requires (T x) { x + x; } // `requires` 同时使用在 concept 的定义和使用上
T add(T a, T b) {
return a + b;
}
requires requires 就很怪异。 1
sentinelK 14h 9m ago
“假如让 ai 来参与设计语言,应该会很厉害吧”
是,毕竟 AI 的上下文更长,更容易找到语法解析、语义效率、语义展示这三者之间的甜点。 但是没必要。目前的“编程语法”是自然语言。 |