Definición de Miranda (lenguaje de programación)
Miranda es un lenguaje de programación funcional puro diseñado por David Turner, como sucesor de sus lenguajes SASL y KRC, emplea algunos conceptos de los lenguajes ML y Hope.
Fue producido por Research Software Ltd. of England y fue el primer lenguaje de programación puramente funcional comercializado.
Miranda fue lanzado en 1985, como un intérprete rápido en C para sistemas operativos UNIX. Otras versiones fueron lanzadas en 1987 y 1989.
Un programa en Miranda es llamado script y consiste de un conjunto de ecuaciones que definen funciones matemáticas varias y tipos de datos algebraicos.
Miranda fue uno de los primeros lenguajes de programación en adoptar el paradigma funcional puro, lo que significa que cada función produce un resultado que depende solamente de los argumentos que se le pasan y no produce ningún efecto secundario en el estado del programa.
Esto lo hace particularmente útil para la programación concurrente y distribuida.
Además, Miranda utiliza la evaluación retrasada, lo que significa que las expresiones no son evaluadas hasta que son necesarias para producir un resultado. Esto puede mejorar significativamente el rendimiento en algunos casos.
A pesar de su innovación, Miranda nunca alcanzó una gran adopción, y ha sido en gran medida reemplazado por otros lenguajes funcionales como Haskell y Ocaml. Sin embargo, todavía es utilizado por algunos programadores y ha sido influyente en el desarrollo de otros lenguajes de programación, especialmente en el ámbito académico. También ha sido utilizado como lenguaje de enseñanza para introducir a los estudiantes a los conceptos de programación funcional.
Resumen: Miranda
Miranda es un lenguaje de programación creado por David Turner en 1985. Es un programa que permite desarrollar funciones matemáticas y tipos de datos algebraicos. Es puramente funcional y fue el primer lenguaje de programación de su tipo en ser comercializado. Se ha lanzado varias versiones, y su intérprete es rápido y se puede usar en sistemas operativos UNIX.
¿Cuál es la diferencia entre un lenguaje de programación funcional síncrono y un lenguaje de programación funcional puro?
Un lenguaje de programación funcional síncrono permite la realización de operaciones no puras, como la entrada y salida, mientras que un lenguaje de programación funcional puro no permite la alteración de valores o efectos secundarios.
¿Cuál es la ventaja de utilizar Miranda en comparación con otros lenguajes de programación?
Miranda es un lenguaje de programación muy expresivo y conciso, lo que significa que se necesita menos codigo para realizar tareas más complejas. Además, su tipado estático aumenta la seguridad y reduce la posibilidad de errores en el código.
¿Cuáles son las principales características de Miranda?
Miranda es un lenguaje de programación completamente funcional, con evaluación perezosa y una amplia gama de funciones integradas que incluyen currying, listas y recursión.
¿Es posible la programación orientada a objetos en Miranda?
Aunque Miranda no es un lenguaje de programación orientado a objetos, puede utilizarse en conjunto con otros lenguajes de programación orientados a objetos, como Java o C++++, para desarrollar aplicaciones más grandes y robustas.
¿Por qué se considera a David Turner como un pionero en el desarrollo de lenguajes de programación funcional?
David Turner es reconocido como un pionero en el desarrollo de lenguajes de programación funcional por su trabajo en el desarrollo de lenguajes como SASL y KRC, que sirvieron como base para el desarrollo de Miranda.
¿Cuál es la relación entre Miranda y Haskell?
Miranda y Haskell son lenguajes de programación funcional similares, y ambos tienen su origen en el trabajo de David Turner. Haskell es una evolución de Miranda, y se considera más avanzado y más utilizado en la actualidad.
Sitio web oficial: Miranda
Autor: Leandro Alegsa
Actualizado: 12-06-2023
¿Cómo citar este artículo?
Alegsa, Leandro. (2023). Definición de Miranda. Recuperado de https://www.alegsa.com.ar/Dic/miranda.php
