这是因为我们想促成一种松耦合和强类型的编码方法；这种理念是该规范的基础。

The reason for this is that we want to promote a coding approach that is loosely coupled and strongly typed; that philosophy underpins everything in the spec.

youdao

其种类很多，但基本的理念是在变量名的开始添加一个标记以表示其类型（例如，所有无符号长型变量都以 ul 开头）。

There are lots of flavors of this, but the basic idea is that you put a tag at the beginning of a variable name saying what type it is. (So all unsigned long variables begin with ul, etc.)

youdao

但我相信不变性的理念在Fan中通过const类型和cons t场相比而言更加深入。

But I do think the notion of immutability is more hardwired into Fan via the notion of const types and const fields.

youdao