tarea

Lenguaje
Funcional
Miranda.

HISTORIA
Propuesto por D. Turner en 1985. Este mismo autor había desarrollado anteriormente
otros lenguajes del mismo tipo: SASL (1976) y KRC (1981). HASKELL es unsucesor
de MIRANDA.
Todos los lenguajes de la familia de MIRANDA se caracterizan porque los
argumentos se pasan a las funciones sin evaluar (lazy evaluation): el argumento de
una función seevalúa cuando la función necesita su valor.
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.

¿QUÉ ES MIRANDA?
Es un lenguaje funcional, es llamado script y consiste de unconjunto de ecuaciones que
definen funciones matemáticas varias y tipos de datos algebraicos.
El principal objetivo de este lenguaje era el desarrollar una versión comercial de un
lenguaje funcional:no-estricto.
puramente funcional.
Todos los lenguajes de la familia de MIRANDA se caracterizan porque los
argumentos se pasan a las funciones sin evaluar (lazy evaluation): el argumento de
unafunción se evalúa cuando la función necesita su valor.
|

 Es raro la necesidad del uso de corchetes y no es necesario el uso de terminaciones
de instrucción (;, endif,…)
 Los comentarios se inicianutilizando los caracteres ‘||’ y continua hasta el final
de la línea. Una convención alternativa de comentarios es la que afecta a todo el
fichero fuente, conocida como “literate srcript”, en lacual todo línea es comentario
a no ser que empiece por el signo’ >’
 Los tipos básicos de datos de Miranda son char, num y bool. Una cadena de
caracteres no es más que una lista de chars, mientrasque num puede representar
tanto a enteros como a reales sin necesidad de conversiones explícita
 Las tuplas son secuencias de elementos de distintos tipos, análogo a los registros
de los...