Lista de lenguajes de programación por tipo

Esta es una lista de lenguajes de programación destacados , agrupados según sus atributos más relevantes. Dado que un lenguaje puede tener múltiples atributos, puede aparecer en varios grupos.

La programación orientada a agentes permite al desarrollador construir, extender y utilizar agentes de software , que son abstracciones de objetos que pueden enviar mensajes a otros agentes.

• Clojure
• F#
• META
• SARL

Los lenguajes de programación de matrices (también denominados vectoriales o multidimensionales ) generalizan las operaciones sobre escalares para aplicarlas de forma transparente a vectores , matrices y matrices de dimensiones superiores .

La programación orientada a aspectos permite a los desarrolladores añadir nuevas funciones al código, conocidas como consejos , sin modificar dicho código. En su lugar, utiliza un punto de corte para implementar los consejos en bloques de código.

• Ada
• AspectoJ
• Genial
• Nemerle
• Raku ^{[ 2 ] [ 3 ]}

Los lenguajes ensamblador se corresponden directamente con un lenguaje máquina (véase más abajo ), por lo que las instrucciones en código máquina aparecen en un formato comprensible para los humanos, aunque puede que no exista una correspondencia uno a uno entre una instrucción y una sentencia. Los lenguajes ensamblador permiten a los programadores usar direcciones simbólicas, que el ensamblador convierte en direcciones absolutas o reubicables . La mayoría de los ensambladores también admiten macros y constantes simbólicas .

Un lenguaje de autoría es un lenguaje de programación diseñado para que lo utilice una persona sin conocimientos técnicos en informática para crear fácilmente tutoriales, sitios web y otros programas informáticos interactivos.

• Arquitectura de tipificación de información de Darwin (DITA)
• Lazo
• PILOTO
• TUTOR
• Software de autoría

Los lenguajes de interfaz de línea de comandos (CLI) también se denominan lenguajes de procesamiento por lotes o lenguajes de control de trabajos. Ejemplos:

• 4DOS (shell para PC IBM)
• 4OS2 (shell para PC IBM)
• Archivos por lotes para DOS y Windows
  • COMMAND.COM es un lenguaje de comandos para DOS y versiones anteriores de Windows NT.
  • Lenguaje de comandos cmd.exe para Windows NT
• sh
  • ksh
  • intento
  • zsh
• CLIST (Lista de comandos de MVS)
• Ejecutivo de CMS
• csh
  • tcsh
  • capa C de Hamilton
• Lenguaje de comandos digital (CLI) para OpenVMS
• EJECUTIVO 2
• Esperar
• pez
• Nushell
• Windows PowerShell
• rc
• Rexx
• TACL (lenguaje de programación)

Se trata de lenguajes que normalmente son procesados ​​por compiladores , aunque teóricamente cualquier lenguaje puede ser compilado o interpretado.

Un lenguaje de programación concatenativo es un lenguaje de programación de computadora sin puntos en el que todas las expresiones denotan funciones , y la yuxtaposición de expresiones denota composición de funciones .

• Factor
• Adelante
• jq (también se admite la aplicación de funciones)
• Alegría
• Posdata
• Raku

Los lenguajes de paso de mensajes proporcionan construcciones de lenguaje para la concurrencia . El paradigma predominante para la concurrencia en lenguajes convencionales como Java es la concurrencia de memoria compartida . Los lenguajes concurrentes que utilizan el paso de mensajes generalmente se han inspirado en cálculos de procesos como los procesos secuenciales comunicantes (CSP) o el cálculo π .

Un lenguaje de programación con restricciones es un lenguaje de programación declarativo donde las relaciones entre variables se expresan como restricciones . La ejecución procede intentando encontrar valores para las variables que satisfagan todas las restricciones declaradas.

• Claire
• Reglas de manejo de restricciones
• CHIP
• Eclipse
• Caleidoscopio
• Onz
• Raku ^{[ 6 ]}

El diseño por contrato (o programación por contrato) es la programación que utiliza precondiciones , postcondiciones e invariantes definidos .

Un lenguaje de llaves tiene una sintaxis que define un bloque como las instrucciones entre llaves, también llamadas corchetes . Esta sintaxis se originó con BCPL (1966) y fue popularizada por C. Muchos lenguajes de llaves descienden de C o están fuertemente influenciados por él . Ejemplos: {}

Los lenguajes de programación de flujo de datos se basan en una representación (generalmente visual) del flujo de datos para especificar el programa. Se utilizan a menudo para reaccionar a eventos discretos o para procesar flujos de datos. Los lenguajes de flujo de datos incluyen:

Los lenguajes orientados a datos proporcionan formas poderosas de buscar y manipular las relaciones que se han descrito como tablas de relación de entidades, las cuales asignan un conjunto de elementos a otros conjuntos. Los lenguajes orientados a datos incluyen:

Las tablas de decisión pueden utilizarse como ayuda para aclarar la lógica antes de escribir un programa en cualquier lenguaje, pero en la década de 1960 se desarrollaron varios lenguajes en los que la lógica principal se expresa directamente en forma de tabla de decisión, entre ellos:

• Pestaña de archivo

Los lenguajes declarativos expresan la lógica de un cálculo sin describir su flujo de control en detalle. La programación declarativa se contrapone a la programación imperativa mediante lenguajes de programación imperativos, donde el flujo de control se especifica mediante órdenes secuenciales (imperativos). Los lenguajes de programación (puramente) funcionales y lógicos también son declarativos y constituyen las principales subcategorías de la categoría declarativa. Esta sección incluye ejemplos adicionales que no pertenecen a dichas subcategorías.

Los lenguajes de código fuente incrustables permiten insertar pequeños fragmentos de código ejecutable dentro de un texto de formato libre, a menudo una página web.

Los lenguajes integrados del lado del cliente están limitados por las capacidades del navegador o del cliente previsto. Su objetivo es proporcionar dinamismo a las páginas web sin necesidad de volver a contactar con el servidor.

Los lenguajes integrados del lado del servidor son mucho más flexibles, ya que prácticamente cualquier lenguaje puede integrarse en un servidor. El objetivo de tener fragmentos de código del lado del servidor integrados en una página web es generar marcado adicional de forma dinámica; el código en sí desaparece cuando se sirve la página, siendo reemplazado por su resultado.

• PHP
• VBScript
• Tcl : lenguaje del lado del servidor en NaviServer y un componente esencial en los sistemas de la industria electrónica.

Los ejemplos anteriores están especialmente dedicados a este propósito. Se pueden adaptar muchos otros lenguajes, como Erlang , Scala , Perl y Ruby (por ejemplo, convirtiéndolos en módulos de Apache ).

• ActionScript
• JavaScript (también conocido como ECMAScript o JScript)
• VBScript (solo para Windows)

Se puede integrar una amplia variedad de lenguajes dinámicos o de scripting en código ejecutable compilado. Básicamente, el código objeto del intérprete del lenguaje debe vincularse al ejecutable. A continuación, se pueden pasar fragmentos de código fuente del lenguaje integrado a una función de evaluación como cadenas de texto. Los lenguajes de control de aplicaciones pueden implementarse de esta forma si el usuario introduce el código fuente. Se prefieren los lenguajes con intérpretes pequeños.

Lenguajes desarrollados principalmente con el propósito de enseñar y aprender programación.

Un lenguaje de programación esotérico es un lenguaje de programación diseñado para poner a prueba los límites del diseño de lenguajes de programación informática, como prueba de concepto o como una broma.

Los lenguajes de programación de extensión son lenguajes integrados en otro programa y utilizados para aprovechar sus características en scripts de extensión.

Los lenguajes de programación de cuarta generación son lenguajes de programación de alto nivel diseñados en torno a sistemas de bases de datos . Generalmente se utilizan en entornos comerciales.

Los lenguajes de programación funcional definen los programas y las subrutinas como funciones matemáticas y los tratan como de primera clase. Muchos de los llamados lenguajes funcionales son "impuros", ya que contienen características imperativas. Muchos lenguajes funcionales están vinculados a herramientas de cálculo matemático. Los lenguajes funcionales incluyen:

En electrónica, un lenguaje de descripción de hardware (HDL) es un lenguaje informático especializado que se utiliza para describir la estructura, el diseño y el funcionamiento de los circuitos electrónicos, y más comúnmente, de los circuitos lógicos digitales. Las dos variantes de HDL más utilizadas y con mayor soporte en la industria son Verilog y VHDL . Los lenguajes de descripción de hardware incluyen:

• Verilog-AMS (Verilog para señales analógicas y mixtas)
• VHDL-AMS (VHDL con extensión analógica/de señal mixta)

Los lenguajes de programación imperativos pueden ser multiparadigmáticos y aparecer en otras clasificaciones. Aquí hay una lista de lenguajes de programación que siguen el paradigma imperativo :

Conocidos como REPL (por sus siglas en inglés), los lenguajes en modo interactivo actúan como una especie de intérprete de comandos: las expresiones o instrucciones se pueden introducir una a una, y el resultado de su evaluación se ve inmediatamente.

Los lenguajes interpretados son lenguajes de programación en los que los programas pueden ejecutarse a partir del código fuente mediante un intérprete. En teoría, cualquier lenguaje puede compilarse o interpretarse, por lo que el término lenguaje interpretado generalmente se refiere a lenguajes que suelen interpretarse en lugar de compilarse.

Los lenguajes iterativos se construyen en torno a generadores o los ofrecen .

La recolección de basura (GC, por sus siglas en inglés) es una forma de administración automática de memoria. El recolector de basura intenta recuperar la memoria que fue asignada por el programa pero que ya no se utiliza.

• ALGOL 68
• Ensamblaje (varios)
• DICHA
• do
• C++
• C# , en unsafecontextos
• Componente Pascal
• Adelante
• Fortran
• FreeBASIC
• Java , a través de la clase interna sun.misc.Unsafe
• Módulo-2
• Oberón
• Pascal
• PL/I
• Rust , en unsafecontextos
• Zig

• Ada ^{[ a ]}
• Blitz BÁSICO ^{[ 18 ] [ 19 ] [ 20 ]}
• C , a través de recolectores de basura no oficiales como Boehm
• C++ (desde C++11 hasta C++23 con soporte opcional para recolección de basura) ^{[ 15 ] [ 21 ]}
• COBOL ^{[ 22 ] [ 23 ] [ 24 ]}
• D ^{[ 25 ]}
• Nim ^{[ 26 ]}
• Objetivo-C ^{[ 27 ]}
• Objective-C++
• PostScript ^{[ b ]}
• V ^{[ 29 ]}
• Vala ^{[ 30 ]}

Algunos lenguajes de programación que no tienen la capacidad inherente de administrar manualmente la memoria, como Cython , ^{[ 31 ]} Swift , ^{[ c ]} y Scala ^{[ 32 ]} (solo Scala Native), pueden importar o llamar funciones como mallocy freedesde C a través de una interfaz de función externa .

• Ada
• do
• C++
• Fortran
• Nim
• Pascal
• Óxido ^{[ 33 ] [ 34 ]}
• Objetivo-C
• Zig
• Módulo-3

• Nim
• Objetivo-C
• Perl
• Rápido
• Visual Basic
• Xojo

Los lenguajes basados ​​en listas son un tipo de lenguaje estructurado de datos que se basan en la estructura de datos de lista .

Los lenguajes pequeños ^{[ 35 ]} sirven a un dominio de problemas especializado.

• awk – se utiliza para la manipulación de archivos de texto.
• sed – analiza y transforma texto
• SQL – tiene solo unas pocas palabras clave y no todas las construcciones necesarias para un lenguaje de programación completo ^{[ d ]} – muchos sistemas de gestión de bases de datos extienden SQL con construcciones adicionales como lenguaje de procedimientos almacenados
• XPL : un lenguaje diseñado para, aunque no limitado a, la escritura de compiladores.

Los lenguajes basados ​​en lógica especifican un conjunto de atributos que debe tener una solución, en lugar de un conjunto de pasos para obtener una solución.

Entre los lenguajes de programación más destacados que siguen este paradigma se incluyen:

• ALF
• Alma-0
• Curry
• Registro de datos
• Volante
• Flix (un lenguaje de programación funcional con restricciones Datalog de primera clase)
• Jano
• λProlog (un lenguaje de programación lógica que incluye tipado polimórfico, programación modular y programación de orden superior)
• Oz y el sistema de programación Mozart multiplataforma Oz
• Prolog (formula datos y el mecanismo de evaluación del programa como una forma especial de lógica matemática llamada lógica de Horn y un mecanismo de prueba general llamado resolución lógica )
  • Mercurio (basado en Prolog)
  • Visual Prolog (extensión de Prolog orientada a objetos)
• ROOP
• Soufflé

Los lenguajes de máquina son ejecutables directamente por la CPU de una computadora. Suelen formularse como patrones de bits, representados normalmente en octal o hexadecimal . Cada patrón de bits hace que los circuitos de la CPU ejecuten una de las operaciones fundamentales del hardware. La activación de entradas eléctricas específicas (por ejemplo, los pines del encapsulado de la CPU para microprocesadores) y la configuración lógica de los valores de estado de la CPU controlan el cálculo del procesador. Los lenguajes de máquina individuales son específicos de una familia de procesadores; el código de lenguaje de máquina para una familia de procesadores no puede ejecutarse directamente en procesadores de otra familia a menos que los procesadores en cuestión tengan hardware adicional para soportarlo (por ejemplo, los procesadores DEC VAX incluían un modo de compatibilidad con PDP-11). Estos lenguajes son (esencialmente) siempre definidos por el desarrollador de la CPU, no por terceros. ^{[ e ]} La versión simbólica, el lenguaje ensamblador del procesador , también es definida por el desarrollador, en la mayoría de los casos. Algunos conjuntos de instrucciones de código máquina de uso común son:

Los lenguajes de macros transforman un archivo de código fuente en otro. Una "macro" es esencialmente un fragmento de texto corto que se expande en uno más largo (que no debe confundirse con las macros higiénicas ), posiblemente con sustitución de parámetros. Se utilizan a menudo para preprocesar el código fuente. Los preprocesadores también pueden proporcionar funcionalidades como la inclusión de archivos .

Los lenguajes de macros pueden estar restringidos a actuar sobre regiones de código especialmente etiquetadas (con el prefijo `a` #en el caso del preprocesador de C). Alternativamente, pueden no estarlo, pero en este caso sigue siendo a menudo indeseable (por ejemplo) expandir una macro incrustada en un literal de cadena , por lo que aún requieren un conocimiento básico de sintaxis. En ese caso, a menudo siguen siendo aplicables a más de un lenguaje. Compárese con lenguajes incrustables en el código fuente como PHP , que son completamente funcionales.

• Preprocesador de C
• m4 (originalmente de AT&T, incluido con Unix)
• ML/I (procesador de macros de propósito general)
• TTM (desarrollado en el Instituto Tecnológico de California)

Los lenguajes de scripting como Tcl y ECMAScript ( ActionScript , ECMAScript para XML , JavaScript , JScript ) se han integrado en las aplicaciones. A veces se les denomina "lenguajes de macros", aunque en un sentido algo diferente al de las macros de sustitución de texto como m4 .

La metaprogramación consiste en escribir programas que escriben o manipulan otros programas, incluso a sí mismos, como si fueran sus datos, o que realizan parte del trabajo que normalmente se haría en tiempo de ejecución , pero durante la compilación . En muchos casos, esto permite a los programadores hacer más en el mismo tiempo que les llevaría escribir todo el código manualmente.

La programación modular es un paradigma de programación que organiza funciones y símbolos en módulos independientes.

Los lenguajes multiparadigma admiten más de un paradigma de programación . Permiten que un programa utilice más de un estilo de programación . El objetivo es que los programadores puedan usar la herramienta más adecuada para cada tarea, reconociendo que ningún paradigma resuelve todos los problemas de la manera más sencilla o eficiente.

Si bien varios lenguajes de programación de propósito general, como C y Python , también se utilizan para la computación técnica, esta lista se centra en los lenguajes que se utilizan casi exclusivamente para la computación técnica.

• Chino Básico (chino)
• Fjölnir (islandés)
• Idioma Symbolique d'Enseignement (francés)
• Rapira (ruso)
• ezhil (tamil)

Los lenguajes de programación orientados a objetos basados ​​en clases admiten objetos definidos por su clase. Las definiciones de clase incluyen datos de miembros. El paso de mensajes es un concepto clave, si no el principal, en los lenguajes orientados a objetos.

Las funciones polimórficas parametrizadas por la clase de algunos de sus argumentos se denominan típicamente métodos . En lenguajes con despacho simple , las clases también suelen incluir definiciones de métodos. En lenguajes con despacho múltiple , los métodos se definen mediante funciones genéricas . Existen excepciones en las que los métodos de despacho simple son funciones genéricas (por ejemplo, el sistema de objetos de Bigloo ).

Los lenguajes basados ​​en prototipos son lenguajes orientados a objetos en los que se ha eliminado la distinción entre clases e instancias:

Los lenguajes de reglas de fuera de línea denotan bloques de código por su sangría .

Los lenguajes de programación procedimentales se basan en el concepto de unidad y ámbito (el rango de visualización de datos) de una instrucción de código ejecutable. Un programa procedimental se compone de una o más unidades o módulos, ya sean codificados por el usuario o proporcionados en una biblioteca de código; cada módulo se compone de uno o más procedimientos, también llamados función, rutina, subrutina o método, según el lenguaje. Algunos ejemplos de lenguajes procedimentales son:

Los lenguajes de programación reflexivos permiten que los programas examinen y posiblemente modifiquen su estructura de alto nivel en tiempo de ejecución o de compilación. Esto es más común en lenguajes de programación de máquinas virtuales de alto nivel como Smalltalk , y menos común en lenguajes de programación de bajo nivel como C. Lenguajes y plataformas que admiten reflexión:

Los lenguajes basados ​​en reglas instancian reglas cuando se activan mediante condiciones en un conjunto de datos. De todas las activaciones posibles, se selecciona un conjunto y se ejecutan las instrucciones que pertenecen a esas reglas. Los lenguajes basados ​​en reglas incluyen:

Los lenguajes basados ​​en pilas son un tipo de lenguaje estructurado de datos que se basan en la estructura de datos de pila .

Los lenguajes de programación síncronos están optimizados para programar sistemas reactivos, sistemas que se interrumpen con frecuencia y deben responder rápidamente. Muchos de estos sistemas también se denominan sistemas en tiempo real y se utilizan a menudo en sistemas embebidos .

Ejemplos:

• Argos
• Averest
• Esterel
• Lustre
• Señal
• Lenguaje de programación

Un lenguaje de sombreado es un lenguaje de programación gráfica adaptado para programar efectos de sombreado. Estas formas de lenguaje suelen constar de tipos de datos especiales, como "color" y "normal". Debido a la variedad de mercados objetivo para los gráficos por computadora 3D.

Ofrecen una mayor abstracción del hardware y un modelo de programación más flexible que los paradigmas anteriores, que codificaban de forma rígida las ecuaciones de transformación y sombreado. Esto proporciona al programador un mayor control sobre el proceso de renderizado y ofrece contenido más rico con menor sobrecarga.

Los lenguajes de sombreado utilizados en la renderización offline producen la máxima calidad de imagen. El procesamiento de estos sombreadores requiere mucho tiempo. La potencia de cálculo necesaria puede ser elevada debido a su capacidad para generar resultados fotorrealistas.

Estos lenguajes ayudan a generar analizadores léxicos y sintácticos para gramáticas libres de contexto .

• ANTLR
• Coco/R (EBNF con semántica)
• GNU bison (versión de Yacc de la FSF)
• GNU Flex (versión de Lex según la FSF)
• JavaCC
• lex (Análisis léxico, de Bell Labs)
• M4
• Gramática de expresiones de análisis sintáctico (PEG)
• Prólogo
• Emacs Lisp
• Ceceo
• Raku ^{[ 46 ]}
• SableCC
• Esquema
• yacc (otro compilador más, de Bell Labs)
• XPL

Un lenguaje de programación de sistemas se utiliza para tareas de bajo nivel, como la gestión de memoria o la gestión de tareas; generalmente se refiere a un lenguaje utilizado para la programación de sistemas ; dichos lenguajes están diseñados para escribir software de sistema, que normalmente requiere enfoques de desarrollo diferentes en comparación con el software de aplicación.

El software de sistema es el software informático diseñado para operar y controlar el hardware de la computadora, y proporciona una plataforma para ejecutar software de aplicación. El software de sistema incluye categorías de software como sistemas operativos, software de utilidad, controladores de dispositivos, compiladores y enlazadores. Algunos ejemplos de lenguajes de sistema son:

Los lenguajes de transformación sirven para transformar (traducir) el código fuente, especificado en un lenguaje formal determinado, a un código de formato de destino definido. Su uso más común se da en componentes intermedios de sistemas más complejos para adaptar los resultados internos a una rutina de procesamiento posterior.

Los lenguajes de programación visual permiten a los usuarios especificar programas de forma bidimensional (o multidimensional), en lugar de mediante cadenas de texto unidimensionales, a través de diseños gráficos de diversos tipos. Algunos lenguajes de programación de flujo de datos también son lenguajes visuales.

El informático Niklaus Wirth diseñó e implementó varios lenguajes de programación influyentes.

• PL360

Se trata de lenguajes basados ​​en XML o que funcionan con XML .

• paradigma de programación
• IEC 61131-3 : una norma para lenguajes de controladores lógicos programables (PLC).
• Lista de lenguajes de programación educativa
• Lista de lenguajes de marcado de documentos
• Lista de lenguajes de marcado
• Lista de lenguajes de programación de código abierto
• Lenguaje de programación esotérico