-
Lenguaje de bajo nivel: Binario
Creador: Gottfried Wilhelm Leibniz
El lenguaje binario es el núcleo de la programación y es usado en todos los sectores para poder comunicarse con los computadores -
Lenguaje de bajo nivel: Maquina
Creador: Ada Lovelace
Lenguaje usado primordialmente para dar instrucciones precisas al computador y realización de cálculos. -
Lenguaje de bajo nivel: Assembler
Creador: Mauricio V. Wilkes
Sus aplicaciones fueron desde programación de pequeños programas hasta algoritmos mas complejos como videojuegos o controladores de software. -
Lenguajes simbólicos declarativos funcionales: Lisp
Creador: John McCarthy
Es un lenguaje de programación aplicativo o funcional, de propósito general, se basa en la aplicación de funciones a los datos y se apoya en la utilización de funciones matemáticas para el control de los mismos -
Lenguajes procedurales imperativos: BASIC
Creador: John George Kemeny y Thomas Eugene Kurtlz
Es un lenguaje que no está especializado en ningún tipo de aplicación. Esto lo hace un lenguaje versátil y potente, con un campo de aplicación ilimitado y, sobre todo, se puede aprender rápidamente. -
Lenguajes procedurales imperativos: ADA
Creador: Jean Ichbiah de Cii Honeywell
Es un lenguaje multipropósito, orientado a objetos y concurrente, pudiendo llegar desde la facilidad de Pascal hasta la flexibilidad de C++. Fue diseñado con la seguridad en mente y con una filosofía orientada a la reducción de errores comunes y difíciles de descubrir. -
Lenguajes procedurales imperativos: Pascal
Creador: Niklaus Wirth
Su objetivo era crear un lenguaje que facilitara el aprendizaje de la Programación a sus alumnos. Sin embargo, con el tiempo su utilización excedió el ámbito académico para convertirse en una herramienta para la creación de aplicaciones de todo tipo. -
Lenguajes simbólicos declarativos lógicos: Prolog
Creador: Alain Coulmeauer y Philippe Roussel
Aunque el lenguaje es aplicado principalmente en sistemas inteligentes y sistemas expertos, puede llegar a tener aplicaciones más variadas, tal como la generación de protocolos de seguridad informática o el balanceo de sistemas eléctricos -
Lenguajes simbólicos declarativos funcionales: ML
Creador: Robin Milner
ML se define como un lenguaje funcional impuro, porque a diferencia de otros lenguajes funcionales, como Haskell, permite una programación imperativa y, por lo tanto, también efectos secundarios.
Los lenguajes de la familia ML se aplican principalmente en diseño y manipulación de lenguajes de programación (compiladores, analizadores, demostradores de teoremas), así como en bioinformática, sistemas financieros, protocolos de sincronización, etc. -
Lenguajes simbólicos procedurales orientados a objetos: C++
Creador: Bjarne Stroustrup
La intención de su creación fue el extender al lenguaje de programación C mecanismos que permiten la manipulación de objetos. Por lo tanto, C++ contiene los paradigmas de la programación estructurada y orientada a objetos, por lo que se le conoce como un lenguaje de programación multiparadigma. -
Lenguajes simbólicos declarativos lógicos: Lambda Prolog
Creador: Dale Miller y Gopalan Nadathur
λProlog, también escrito lambda Prolog, es un lenguaje de programación lógica que ofrece escritura polimórfica, programación modular y programación de orden superior. Estas extensiones de Prolog se derivan de las fórmulas de Harrop hereditarias de orden superior utilizadas para justificar los fundamentos de λProlog. -
Lenguajes simbólicos procedurales orientados a objetos: Python
Creador: Guido van Rossum
En términos técnicos, Python es un lenguaje de programación de alto nivel, orientado a objetos, con una semántica dinámica integrada, principalmente para el desarrollo web y de aplicaciones informáticas.
Es muy atractivo en el campo del Desarrollo Rápido de Aplicaciones (RAD) porque ofrece tipificación dinámica y opciones de encuadernación dinámicas. -
Lenguajes simbólicos declarativos funcionales: HASKELL
Creador: Haskell Brooks Curry
Haskell es a menudo la elección clara en los campos que requieren un mapeo muy preciso de los algoritmos matemáticos, entre los que se incluyen las aplicaciones para la seguridad de red, los marcos de especificaciones para sistemas integrados o los programas para modelar cálculos matemáticos complejos.
Los programas escritos en Haskell se representan siempre como funciones matemáticas, pero estas funciones nunca tienen efectos secundarios ni derivados. -
Lenguajes simbólicos procedurales orientados a objetos: JAVA
Es un lenguaje de programación de propósito general orientado a objetos, que fue diseñado específicamente para tener tan pocas dependencias de implementación como fuera posible permitiendo a desarrolladores escribir un programa y ejecutarlo en cualquier tipo de dispositivo sin tener que compilarlo una y otra vez. -
Lenguajes simbólicos declarativos lógicos: Mercury
Creador: Zoltan Somogyi
Mercury es un lenguaje de alto nivel derivado de Prolog, pero con una implementación que le hace ser más útil para representar y tratar problemas del mundo real. Combina toda la expresividad del lenguaje declarativo con avanzadas técnicas de análisis estático y detección de errores. Es un lenguaje compilado, lo que le permite detectar numerosos errores antes de poder ejecutar la aplicación.