Clasificación de los lenguajes de alto nivel

 Paradigmas de programación.

Por paradigma de programación se entiende una “filosofía” de programar, es decir, los

lenguajes que utilizan un mismo paradigma de programación utilizarán los mismos

conceptos básicos para programar. Se pueden definir cuatro tipos fundamentales:

Imperativos: La unidad de trabajo es la sentencia (acción). Pascal, C.

Orientados a Objetos: La unidad de trabajo es el objeto. Agrupa las estructuras de

datos con sus algoritmos. Smalltalk.

Funcionales: La unidad es la función. Consiste en combinar funciones para conseguir

funciones más complejas hasta llegar a la función que es el programa. Lisp. Basado en

el Cálculo Lambda.

Lógicos: Se especifican los hechos y las propiedades que especifican el problema. El

sistema utiliza esa información para encontrar la solución. Prologo. Basado en la Lógica

de Predicados.