La programación funcional es un campo de investigación, que aún tiene muchas preguntas sin respuestas, pero parece claro que hemos llegado a obtener algunas respuestas con ciertas tecnologías como Miranda.

El objetivo del sistema Miranda es proporcionar un lenguaje funcional moderno, integrado en un entorno de programación conveniente, adecuado tanto para la enseñanza como para una herramienta de programación de propósito general.

Las ideas básicas de Miranda están estrechamente modeladas en las de los lenguajes anteriores SASL y KRC. Para llegar a un sistema más adecuado para abordar grandes problemas, Miranda agrega a esta base un sistema de tipo polimórfico y una estructura de biblioteca con instalaciones de tipo seguro para compilación y vinculación por separado.

En general, Miranda es bastante similar a HOPE. La diferencia fundamental es que después de SASL y KRC, Miranda tiene una semántica no estricta. Hay dos razones para esta decisión. El primero es la creencia del autor de que una semántica no estricta es la única totalmente coherente con el principio de transparencia referencial. La segunda razón más práctica es que la presencia de funciones no estrictas y estructuras de datos infinitas parece producir un lenguaje más rico y expresivo.

Miranda también tiene un estilo algo más terso que HOPE: utiliza menos palabras clave y deja que el compilador deduzca más (el principal ejemplo de esto es que el sistema de tipos se basa en la inferencia en lugar de la declaración). Si te gusta esto o no, es cuestión de gustos personales.

El sistema Miranda es interactivo y se ejecuta bajo UNIX como un subsistema autónomo. La acción básica es evaluar expresiones, proporcionadas por el usuario en la terminal, en el entorno establecido por el script actual. Por ejemplo, evaluar «z» en el contexto del primer script dado anteriormente produciría el resultado «9.0».

El compilador de Miranda funciona en conjunto con un editor (de forma predeterminada, esto es «vi», pero se puede configurar en cualquier editor que elija el usuario). Las secuencias de comandos se vuelven a compilar automáticamente después de las ediciones, y cualquier sintaxis o error de tipo se señala de inmediato. El sistema de tipo polimórfico permite detectar una alta proporción de errores lógicos en tiempo de compilación.

Hay una biblioteca bastante grande de funciones estándar. También hay un manual de referencia en línea. La interfaz con UNIX permite que los programas de Miranda tomen y envíen datos a los archivos de UNIX y también es posible invocar los programas de Miranda directamente desde el shell de UNIX y combinarlos, a través de tuberías UNIX, con procesos escritos en otros idiomas.