-
Programación funcional, historia (1)
Haskell Brooks Curry en Inglaterra crea la lógica combinatoria fundamento para los lenguajes de programación funcionales, Los lenguajes de programación funcionales Haskell y Curry se nombran así por él al igual que el proceso de currificación (consiste en transformar una función que utiliza múltiples argumentos en una función que utiliza un único argumento) en lenguajes de programación. -
Programación funcional
En 1934 Alonso Church introdujo un modelo matemático de computación llamado lambda calculo que originalmente era un intento por desarrollar un sistema formal completo con el propósito de fundamentar las matemáticas, pero dicho propósito no se llega a cumplir dado que es susceptible a la paradoja de Russell (se refiere a que un conjunto que se contenga a sí mismo no es un conjunto), por lo que fue usado para el estudio de la computabilidad. -
Programación estructurada
Los autores usualmente acreditan el resultado a un documento escrito en 1966 por Corrado Böhm y Giuseppe Jacopini, posiblemente porque Edsger Dijkstra había citado este escrito. El teorema del programa estructurado no responde a cómo escribir y analizar un programa estructurado de manera útil. Estos temas fueron abordados durante la década de 1960 y principio de los años 1970, con importantes contribuciones de Dijkstra, Robert W. Floyd, Tony Hoarey y David Gries. -
Programación orientada a objetos
El paradigma de Programación Orientada a Objetos (ObjectOriented Programming) surgio con el lenguaje de programación Simula67 desarrollado por Kristen Nygaard y Ole-Johan Dahlen a la mitad de los años 60 en el Centro de Computación Noruego (TheNorwegian Computing Center). La idea surgió al agrupar los diversos tipos de naves en diversas clases de objetos, siendo responsable cada clase de objetos de definir sus propios datos y comportamientos. -
Programación lógica
Propuesta por Robert Kowalski en 1974 en la Universidad de Edimburgo (Escocia, Reino Unido), La investigación de Kowalski en el área de deducción automatizada, llevó al desarrollo con Alain Colmerauer al uso formal de lógica como un lenguaje de programación. Kowalski proporcionó la base teórica y Colmerauer inició la programación de ProLog en la Universidad de Aix-Marseille (Francia) en los años 70. -
Programación orientada a objetos, historia (1)
La programación orientada a objetos se fue convirtiendo en el estilo de programación dominante a mediados de los años ochenta, en gran parte debido a la influencia de C++, una extensión del lenguaje de programación C. Su dominación fue consolidada gracias al auge de las Interfaces gráficas de usuario, para las cuales la programación orientada a objetos está particularmente bien adaptada.
