Listado de lenguajes imperativos: ASP BASIC C C++ C# Clipper Dbase Fortran Java Lua Pascal Perl PHP

Listado de lenguajes funcionales Erlang F# en Microsoft.NET Haskel J y K (anlisis financiero) Lex/Yacc Mathematica (matemticas simblicas) Objective Caml R (estadstica) Scheme SQL XSLT (XML)

Las primeras apariciones de los computadores datan de los aos 40, los cuales se programaban con grandes rels. Los primeros lenguajes de computacin, aparecieron cuando los programas se almacenaron en la memoria de los computadores. Un computador esta compuesto por una unidad de control y por una memoria. La unidad de control es el encargado de ejecutar los programas, los cuales cambian el contenido de la memoria en funcin de instrucciones. Los lenguajes de programacin imperativa se caracterizan por ejecutar constantemente estos cambios de memoria. Las funciones, provenientes de las matemticas, establecen la relacin entre la entrada (parmetros) y la salida (resultado). Un programa es la definicin de funciones, que al ser ejecutadas, recibe los parmetros y luego el computador debe calcular el resultado. La base terica de la programacin imperativa fue dada (en Inglaterra) por Alan Turing en los aos treinta. El lenguaje Lisp de John McCarthy fue el primer lenguaje de programacin funcional, y se baso en teoras de la programacin imperativa.