lenguaje de programación

Universidad de tarapaca de arica escuela universitaria de ingenieria industrial, informatica y de sistemas. area de computacion



Primer Informe Lenguaje de Programación
CLEAN




Integrantes: Angela Ossandon C.
Alexis Beroiza R.
Rubén Saavedra T.
Claudio Olivares C.
Profesor:Ricardo Valdivia P.
Asignatura: Fundamentos de lenguajes de Programación

Índice pág.

Introducción 3

Historia 4

Paradigma de computación 7

Dominios de Aplicación 8

Implementación del Lenguaje de Programación 11












Introducción
En el presente informe nos referiremos mas detalladamente al lenguaje deprogramación seleccionado por nuestro grupo para el proyecto de la asignatura Fundamentos de lenguajes de programación, el cual es Clean.
Clean es un lenguaje de programación con el objetivo principal de ser un lenguaje funcional puro y “perezoso” diseñado para realizar aplicaciones en el mundo real.
Clean es el único lenguaje funcional en el mundo que ofrece la singularidad de mecanografía. Este tipode sistemas hace que sea posible en un lenguaje puramente funcional y hacer interfaces directos en el mundo exterior al imperativo, este tipo de sistema hace posible el desarrollo de aplicaciones eficientes.
El sistema de Clean es un sistema de desarrollo de software para el desarrollo de aplicaciones de Clean, este sistema esta disponible en muchas plataformas (PC, Mac, SUN) y sistemasoperativos como (Windows’ 95/98/2000/NT, Linux, MacOS, Solaris). De las cuales las principales plataformas son PC y Mac.
El sistema de Clean es un sistema de pleno derecho q puede ser utilizado en ambientes industriales, también el sistema Clean es un producto comercial de Hilt – Herramientas de software de alto nivel BV, además Clean se puede descargar de forma gratuitaHistoria
En 1984 un grupo de investigación tecnológica de software de la universidad de Radboud en Nijmegen Holanda, trabaja sobre lenguaje funcional y lo llamaron Clean.
Clean al ser fuertemente tipado se basa en algunas extensiones de la conocida Milner / Hindley / Mycroft tipo de inferencia / régimen de control (Milber 1978); (Hindley 1969); (Microft 1983) incluido el común de orden superiorde tipos, tipos polimórficos, tipos algebraicos, tipos de sinónimos y tipos existencialmente cuantificados, también Clean a sido influenciado por Lean y Haskell,
Pero principalmente es basado en el tipo de inferencia y comprobación de Scheme de ahí que se puede deducir su origen con más exactitud el cual se representa en la siguiente línea de tiempo:


Desde entonces Clean fue evolucionandoy perfeccionándose en diferentes versiones las cuales son:
Clean v1.0: el anuncio de esta versión fue realizado para diferentes tipos de
plataformas, la primera de ellas fue Macintosh en mayo de 1995,
Macintosh y PC(OS/2) en Junio de 1995, Macintosh (Motorola),
PC(OS/2), PC (Linux) y Sun4 (SunOS) en septiembre de 1995 y
Sun4 (Solaris) enOctubre de 1995.

Clean v1.1: También esta versión fue realizada para diferentes tipos de
plataformas, primero fue Macintosh en marzo de 1996, el
lanzamiento para Mac/68k, Sun / SunOS, Sun / Solaris Y PC /
Linux fue realizado en Agosto de 1996,

Clean v1.2: Esta versión esta disponible para las plataformas Mac y PowerMac
en enero de 1997, estesistema viene en tres versiones:

CLEAN12.68k.sea.hqx: Clean 1,2 por 68k Mac.
CLEAN12.ppc.sea.hqx: CLEAN 1,2 para PowerMacs.
CLEAN12.both.sea.hqx: CLEAN 1,2 por 68k y PowerMacs.

No obstante podemos destacar la versión Clean 1.2.3 ya que fue la
primera versión disponible para Windows95

Clean v1.3: Una nueva versión (la 1.3) está ahora disponible para
Windows95/NT, Mac, Linux y...