Lenguajes de programación


1.2 Clasificación de los lenguajes de programación.

Programación declarativa
La Programación Declarativa, en contraposición a la programación imperativa es un paradigma de programación queestá basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema ydetallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (tan sólo se le indica a la computadora qué es lo que se desea obtenero qué es lo que se está buscando). No existen asignaciones destructivas, y las variables son utilizadas con Transparencia referencial.
Existen varios tipos de lenguajes declarativos:
Los lenguajeslógicos, como Prolog.
Los lenguajes algebraicos, como Maude y SQL
Los lenguajes funcionales, como Haskell





Programación imperativa
La programación imperativa, en contraposición ala programación declarativa es un paradigma de programación que describe la programación en términos del estado del programa y sentencias que cambian dicho estado. Los programas imperativos son un conjunto deinstrucciones que le indican al computador cómo realizar una tarea.
Existen varios tipos de lenguajes imperativos:
BASIC
C
Fortran
Pascal
Perl
PHP
Lua
Java






Programación funcionalEn ciencias de la computación, la programación funcional es un paradigma de programación declarativa basado en la utilización de funciones aritméticas que no maneja datos mutables o de estado.Enfatiza la aplicación de funciones, en contraste con el estilo de programación imperativa, que enfatiza los cambios de estado. La programación funcional tiene sus raíces en el cálculo lambda, un sistemaformal desarrollado en los 1930s para investigar la definición de función, la aplicación de las funciones y la recursión. Muchos lenguajes de programación funcionales pueden ser vistos como...