理学 软件语言 释 functional language 函数式语言 通过函数来描述计算的语言。其支持函数式程序设计，强调函数（function）及其函数作用（function application）。
系统软件 语言与编译 释文 functional language 函数式语言
- separable Hilbert space
- separable hull
- separable isogeny
- separable mapping
- separable measurable space
- separable metric space
- separable modification
- separable morphism
- separable normal equation
- separable normed space
- separable payoff function
- separable polynomial
- separable process
- separable programming
- separable [quantum] state
- separable quantum state
- separable rational mapping
- separable ring
- separable semigroup
- separable set
- separable solution
- separable space
- separable state
- separable stochastic process
- separable topological space