Limpio (lenguaje de programación)

Clean es un lenguaje de programación funcional puro de propósito general . Originalmente llamado Concurrent Clean System ^{[ 3 ]} o Clean System , ^{[ 4 ] [ 5 ]} ha sido desarrollado por un grupo de investigadores de la Universidad Radboud en Nijmegen desde 1987. ^{[ 6 ] [ 7 ]} Aunque el desarrollo del lenguaje se ha ralentizado, algunos investigadores siguen trabajando en él. ^{[ 8 ]} En 2018, se fundó una empresa derivada que utiliza Clean. ^{[ 9 ]}

Clean comparte muchas propiedades y sintaxis con un lenguaje hermano menor, Haskell : transparencia referencial , comprensión de listas , guardas , recolección de basura , funciones de orden superior , currificación y evaluación perezosa . Sin embargo, Clean maneja el estado mutable y la entrada/salida (E/S) a través de un sistema de tipos de unicidad , a diferencia del uso de mónadas de Haskell . El compilador aprovecha el sistema de tipos de unicidad para generar código más eficiente, ya que sabe que en cualquier momento durante la ejecución del programa, solo puede existir una referencia a un valor con un tipo único. Por lo tanto, un valor único puede modificarse directamente . ^{[ 10 ]}

La distribución Clean incluye un entorno de desarrollo integrado (IDE) para Microsoft Windows .

Hola Mundo :

Inicio = "¡Hola, mundo!"

Factorial :

Secuencia de Fibonacci :

Operador infijo :

( ^ ) infixr 8 :: Int Int -> Int ( ^ ) x 0 = 1 ( ^ ) x n = x * x ^ ( n -1 )

La declaración de tipo indica que la función es un operador infijo asociativo derecho con prioridad 8: esto indica que x*x^(n-1)es equivalente a x*(x^(n-1))en contraposición a (x*x)^(n-1). Este operador está predefinido en StdEnv, la biblioteca estándar de Clean .

La computación se basa en la reescritura y reducción de grafos . Las constantes, como los números, son grafos, y las funciones son fórmulas de reescritura de grafos. Esto, combinado con la compilación a código nativo, hace que los programas Clean, que utilizan un alto nivel de abstracción, se ejecuten relativamente rápido según The Computer Language Benchmarks Game . ^{[ 11 ]} Una prueba de rendimiento de 2008 demostró que el código nativo de Clean tiene un rendimiento similar al del Glasgow Haskell Compiler (GHC), dependiendo de la prueba. ^{[ 12 ]}

La compilación de Clean a código máquina se realiza de la siguiente manera:

1. Los archivos fuente (.icl) y los archivos de definición (.dcl) son traducidos a Core Clean, una variante básica de Clean, por el frontend del compilador escrito en Clean.
2. El código principal de Clean se convierte en el lenguaje intermedio independiente de la plataforma de Clean (.abc), mediante el backend del compilador escrito en Clean y C.
3. El código ABC intermedio se convierte a código objeto (.o) mediante el generador de código escrito en C.
4. El código objeto se enlaza con otros archivos del módulo y del sistema de tiempo de ejecución y se convierte en un ejecutable normal utilizando el enlazador del sistema (cuando esté disponible) o un enlazador dedicado escrito en Clean en Windows .

Las versiones anteriores del compilador Clean estaban escritas completamente en C , evitando así problemas de arranque.

Clean está disponible para Microsoft Windows ( IA-32 y X86-64 ), macOS ( X86-64 ) y Linux ( IA-32 , X86-64 y AArch64 ).

Algunas bibliotecas no están disponibles en todas las plataformas, como ObjectIO , que solo está disponible en Windows. Asimismo, la función para escribir datos dinámicos en archivos solo está disponible en Windows.

La disponibilidad de Clean por plataforma varía con cada versión: ^{[ 16 ] [ 17 ]}

La sintaxis de Clean es muy similar a la de Haskell, con algunas diferencias notables. En general, Haskell ha introducido más azúcar sintáctico que Clean: ^{[ 10 ]}

• Wiki limpia
• clean-lang.org : registro público con paquetes Clean
• cloogle.org : un motor de búsqueda para buscar en paquetes Clean.