Entre los lenguajes funcionales puros, cabe destacar a Haskell y Miranda.