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