研究的兴趣，最终导致了现代函数式语言，但不是Backus曾希望的函数级范式。在他的这篇图灵奖论文中，Backus描述了FP风格与基于lambda演算的语言有着如何不同：FP自身在学术界之外从未被大量使用。在1980年代，Backus建立了后继语言FL，它也保持为研究项目。
概述.FP程序映射所来所至的值（value）构成自一个集合，它在序列成形（sequence formation）下是闭合的：这些值可以建造自任何原子（atom）集合：布尔值（boolean）、整数（i