Desde que la humanidad ideó el primer dispositivo programable, se han creado más de dos mil lenguajes de programación. Y cada año su número crece de manera constante. Ayudan a establecer la comunicación entre varios dispositivos en equipos técnicos complejos.
Un lenguaje de programación es un sistema de signos formal que se utiliza al escribir programas de computadora. Obedecen diversas reglas (léxicas, semánticas y sintácticas) que determinan la apariencia del programa y las acciones que debe realizar el ordenador. Hay una gran cantidad de clases de lenguajes de programación que son más adecuados para el área temática elegida, incluso hay algunos francamente cómicos. Se llaman esotéricos y no están destinados a un uso práctico. Por ejemplo, hay lenguajes que tienen sintaxis literaria (Shakespeare, Chef), lenguajes diseñados para dificultar la escritura de código (Malbolge, ALPACA), o con lógica inhumana - Var'aq (usa la lógica del Klingon raza de la película Star Trek). Y otros lenguajes del cómic, pero además del cómic hay una gran cantidad de lenguajes profesionales. La clase principal que se utiliza actualmente son los lenguajes orientados a objetos. Este es un nivel alto, que está diseñado para escribir tanto programas pequeños como grandes sistemas de software. Los principales representantes de esta clase son Java, C #, C ++, Ruby, Python, además de los lenguajes de programación lógica. Se basan en el paradigma de prueba automática de teoremas y en la teoría de la lógica matemática. El lenguaje de programación lógica más famoso es Prolog. Utiliza la lógica de predicados de primer orden. A pesar de la gran cantidad de lenguajes creados y su funcionalidad, siempre es necesario elegir las herramientas adecuadas para crear productos de software. Por ejemplo, si necesita implementar una aplicación cliente-servidor, entonces, obviamente, un lenguaje lógico no es adecuado para esto. Por tanto, es necesario elegir el que sea más adecuado para resolver la tarea.
