Tipos de lenguajes de programación

El lenguaje de programación es una sintaxis codificada que usan los programadores para comunicarse con un ordenador. Es el único lenguaje que entienden computadoras, software y hardware. Establece un flujo de comunicación entre programas. Permite al usuario dictar qué comandos debe ejecutar el ordenador para procesar datos. Existen varios tipos con diferentes sintaxis.

Lenguaje de máquina (Machine Code)

Es el lenguaje nativo entendido directamente por la CPU (Unidad Central de Procesamiento). Usa solo sistema binario (ceros y unos). No es fácil de entender para humanos. El procesador necesita convertir lenguajes de alto nivel a código de máquina antes de ejecutar un programa. Para convertir, se usa un compilador: programa que traduce código fuente de un lenguaje a sintaxis de otro (código máquina). Genera un archivo binario/ejecutable que la CPU ejecuta. Cada CPU tiene su propio conjunto de instrucciones (arquitectura: x86, ARM, RISC-V, etc.).

Lenguaje ensamblador (Assembly)

Desarrollado en los 50s como lenguaje de bajo nivel (segunda generación). Conjunto de códigos que corren directamente en el procesador. Adecuado para escribir sistemas operativos y mantener aplicaciones de escritorio. Permite acceso a registros, gestión de memoria, correspondencia con ciclos de reloj. El programador nombra variables (más legible que máquina), pero no es flexible: código no reutilizable fácilmente, poco expresivo. Debe traducirse a lenguaje de máquina (ensamblador) para que la CPU lo procese.

Lenguajes de alto nivel (High-Level Languages)

Surgieron por problemas de portabilidad de los de bajo nivel. Ignoran detalles irrelevantes de bajo nivel. Considerados solución momentánea por su facilidad de uso y baja tendencia a bugs. A menudo llamados "lenguajes de nivel medio" por usar abstracción y constructos al extremo. Ejemplos: C, C++, Java, Python, C#, JavaScript, Go, Rust, Swift, Kotlin, PHP, Ruby, Perl, SQL, R, MATLAB.

Clasificación adicional:

• Compilados: C, C++, Rust, Go → binario nativo.
• Interpretados: Python, Ruby, Perl, JavaScript (tradicional) → ejecutados por intérprete.
• Bytecode / Máquina virtual: Java (JVM), C# (.NET CLR) → compilados a bytecode, ejecutados en VM con JIT.
• Paradigmas: Imperativos, Orientados a Objetos, Funcionales, Lógicos, Declarativos, Concurrents.
• Específicos de dominio (DSL): SQL (BD), HTML/CSS (web), Regex, Make, Verilog/VHDL (hardware).

Nota: La distinción "alto/bajo nivel" es un espectro. C se considera "alto nivel" pero permite manipulación de memoria de bajo nivel. Rust ofrece seguridad de memoria sin recolector de basura. WebAssembly (Wasm) permite ejecutar código de alto nivel (C++, Rust, Go) en navegadores a velocidad cercana a nativa.