El último lenguaje de programación Haskell es similar un muchos aspectos a Miranda.