La progresión de los lenguajes de programación de computadoras fue posible gracias a la búsqueda del programador de una traducción eficiente del lenguaje humano a algo que las computadoras puedan leer y comprender. Los lenguajes generados, llamados código de máquina, tienen altos niveles de abstracción, que ocultan el hardware de la computadora y hacen uso de representaciones que son más convenientes para los programadores.

A medida que los programas evolucionan y se vuelven más sofisticados, los programadores descubrieron que ciertos tipos de lenguajes de computadora son más fáciles de soportar. Como se esperaba en una disciplina dinámica, no existe un estándar para clasificar los lenguajes utilizados en la programación. De hecho, hay docenas de categorías. Una de las formas más básicas de categorizar los lenguajes es a través de un paradigma de programación, que ofrece la visión del programador de la ejecución del código. Entre las clasificaciones de idiomas según el paradigma de programación se encuentran:

o Lenguajes de programación orientados a objetos

Conocidos como los paradigmas más nuevos y poderosos, la programación orientada a objetos requiere que el diseñador especifique las estructuras de datos, así como los tipos de operaciones que se aplicarán en esas estructuras de datos. El emparejamiento de datos y las operaciones que se pueden realizar en él se llama un objeto. Por lo tanto, un programa creado con este lenguaje está compuesto por un conjunto de objetos cooperantes en lugar de una lista de instrucciones.

La programación orientada a objetos más famosa en estos días es C #, C, Visual Basic, Java y Python.

o Lenguajes de programación estructurados

Un tipo excepcional de programación procesal, la programación estructurada proporciona a los programadores herramientas adicionales para manejar los problemas creados por programas más grandes. Cuando se utiliza este lenguaje, los programadores deben cortar la estructura del programa en pequeños fragmentos de código que puedan entenderse fácilmente. En lugar de usar variables globales, emplea variables que son locales para cada subrutina. Una de las características populares de la programación estructurada es que no acepta la declaración GOTO, que generalmente se asocia con el enfoque de arriba hacia abajo. Tal enfoque comienza con una descripción general del sistema con detalles mínimos sobre las diferentes partes. Para agregar estos detalles, se incluyen iteraciones de diseño para completar el diseño.

Los lenguajes estructurados comúnmente utilizados incluyen C, Pascal y ADA.

o Lenguajes de programación procesal

La programación procesal implica una lista de operaciones que el programa necesita completar para poder alcanzar el estado preferido. Es un paradigma de programación simple donde cada programa viene con una fase inicial, una lista de tareas y operaciones y una etapa final. También llamado programación imperativa, este enfoque viene con pequeñas secciones de código que realizan ciertas funciones. Estas secciones están formadas por procedimientos, subrutinas o métodos. Un procedimiento se compone de una lista de cálculos que deben hacerse. La programación de procedimientos permite que una parte del código se use nuevamente sin la necesidad de hacer varias copias. Lo logra dividiendo las tareas programáticas en pequeñas secciones. Debido a esto, los programadores también son capaces de mantener y comprender la estructura del programa.

Entre los lenguajes procesales conocidos se encuentran BÁSICO y FORTRAN.

Estos son los diferentes tipos de lenguajes de programación de computadoras que puede considerar al planear hacer un programa de computadora. Programación procesal divide el código fuente del programa en fragmentos más pequeños. Lenguajes estructurados requieren más restricciones en el flujo y la organización de los programas. Y programas orientados a objetos organizar códigos y estructuras de datos en objetos.