Fundamentos Esenciales de Lenguajes y Paradigmas de Programación

Conceptos Fundamentales de los Lenguajes de Programación

Un lenguaje de programación es una notación formal utilizada para escribir programas, permitiendo la comunicación con el hardware y la emisión de órdenes precisas para la ejecución de un proceso determinado. Cada lenguaje se define por una gramática, un conjunto de reglas que se aplican a un alfabeto constituido por el conjunto de símbolos utilizados.

Clasificación de los Lenguajes de Programación

Los lenguajes de programación se pueden clasificar en diferentes niveles según su cercanía al lenguaje máquina:

Lenguajes de Bajo Nivel

• Lenguaje Máquina: Es el lenguaje que la computadora entiende directamente. Utiliza el alfabeto binario (0 y 1), denominados bits.

Lenguajes Intermedios

• Lenguaje Ensamblador: Representa el primer intento de sustituir el lenguaje máquina por uno más similar a los utilizados por las personas. Para su escritura, emplea palabras nemotécnicas en lugar de cadenas de bits.

Lenguajes de Alto Nivel o Lenguajes Evolucionados

Estos lenguajes están más cerca del lenguaje humano y son más fáciles de usar para los programadores. Se pueden clasificar por su propósito:

• Gestión: Ejemplos incluyen COBOL.
• Científicos: Como APL.
• Propósito General: Incluyen BASIC y PASCAL.
• Específicos:
  • SPSS (para problemas estadísticos).
  • MATLAB (para cálculos científicos y de ingeniería).
  • Entre otros.

Programas Fuente y Objeto

Un programa fuente es aquel que permite escribir un algoritmo mediante un lenguaje formal. Por esta razón, al código desarrollado durante la programación se le denomina código fuente.

Un programa objeto es el resultado de traducir un programa fuente para obtener un lenguaje comprensible para la máquina.

Paradigmas de Programación

Un paradigma de programación representa un enfoque particular o una filosofía para la construcción de software. Cada paradigma ofrece una manera distinta de conceptualizar y estructurar la solución a un problema.

• Paradigma Imperativo o por Procedimientos: Se basa en dar órdenes explícitas (mandar, ordenar) a la computadora para que realice una secuencia de acciones. Es considerado el más común y está representado, por ejemplo, por lenguajes como C o BASIC.
• Paradigma Funcional: Se centra en el uso de funciones puras, trasladando el concepto de función matemática a la programación. Está representado por la familia de lenguajes LISP, ML o Haskell.
• Paradigma Lógico: Utiliza la lógica matemática, considerada la manera más sencilla de expresar formalmente problemas complejos y resolverlos mediante la aplicación de reglas, hipótesis y teoremas. Un ejemplo destacado es PROLOG.
• Paradigma Orientado a Objetos (POO): Ofrece soluciones computables más cercanas a las que utilizamos en la vida real, modelando el mundo a través de objetos que interactúan entre sí. Un lenguaje completamente orientado a objetos es Smalltalk, y otros ejemplos populares incluyen C++ y Java.