- 约翰·巴克斯在1969年之前就开始探索函数式编程语言，其动机源于软件危机以及他在FORTRAN语言上的早期成功。
- 他在1972年开发了Red语言，这是一种无变量、基于归约的系统，使用了组合形式和函数组合。
- 他在1977年的ACM图灵奖演讲中介绍了FP（函数式编程）以及程序代数，批评了传统语言中的冯·诺依曼瓶颈。
- 该项目与Dines Bjørner、Paul McJones、John H. Williams和Edward L. Wimmers等研究人员合作，最终衍生出FL等语言。
- 尽管Dijkstra等人反应不一，但巴克斯的工作影响了并行计算、数据库查询、VLSI设计等多个领域，到2026年已被引用超过2000次。