../

// 给欧拉-拉格朗日方程加上类型注释
#import "/template.typ": *

#doc-template(
title: "给欧拉-拉格朗日方程\n加上类型注释",
date: "2026年3月30日",
body: [

Functional programming通常被称为“函数式编程”。“functional”这个词，因为“_-al_”后缀的关系，一般被视为形容词；但是它实际上也可以作为名词使用，意思是“高阶函数”，也就是把另一个函数作为输入参数的函数，例如著名的“map/reduce”。这里随便举个JavaScript的例子：

```js
var add1 = function (x) { return x + 1; };
[1,2,3].map(add1);
```

但是在数学中，“functional”这个词通常翻译成“泛函”。基于“泛函”而产生的变分法，正是物理学中分析力学的基础。_Structure and Interpretation of Classical Mechanics_这个书

...