ckus描述了FP风格与基于lambda演算的语言有着如何不同：FP自身在学术界之外从未被大量使用。在1980年代，Backus建立了后继语言FL，它也保持为研究项目。
概述.FP程序映射所来所至的值（value）构成自一个集合，它在序列成形（sequence formation）下是闭合的：这些值可以建造自任何原子（atom）集合：布尔值（boolean）、整数（integer）、实数（real）、字符（character）等：⊥是未定义（undefined）的值，或