A partir de la publicación de Miranda, en 1985, los lenguajes funcionales proliferaron.