函数式编程与表现为类型依赖的数学证明联系起来。这导致了的新方法的产生，并影响了后续的函数式编程语言的发展。David Turner开发的惰性求值函数式语言Miranda最初出现在1985年，採用来自ML与Hope语言的概念，作为他先前所设计的SASL和KRC语言的后继者。Miranda对后来的Haskell有很强的影响，由于它是专有软件，所以Haskell社区于1987年开始达成共识，以形成函数式编程研究的开放标准，对标准的实现自1990年以来一直在进行中。最近，它在基于CSG几何框架构建的OpenSC