Un lenguaje de programación se compone de un vocabulario y reglas sintácticas y semánticas que definen las tareas que un computador puede realizar. Existen diferentes paradigmas como la programación imperativa, declarativa, funcional y orientada a objetos, así como formas de manejar tipos de datos de manera estática, dinámica, débil o fuerte. Algunos de los lenguajes más populares son Java, C, C++, PHP y Python, los cuales usan paradigmas como el imperativo, funcional y orientado a objetos.