Daniel Paul Friedman (nacido en 1944) es profesor de informática en la Universidad de Indiana en Bloomington, Indiana . Su investigación se centra en los lenguajes de programación y es un destacado autor en el campo.
Con David Wise, Friedman escribió un artículo muy influyente sobre la programación perezosa , específicamente sobre flujos perezosos ( ICALP 1976). El artículo, titulado "Los contras no deberían evaluar sus argumentos", [2] es una de las primeras publicaciones que impulsan la exploración de un estilo de programación con estructuras de datos potencialmente infinitas y una forma de programación que no emplea efectos computacionales (aunque los programas pueden divergir ). Durante la década de 1970, Friedman y Wise exploraron el tema en profundidad y también consideraron extensiones al mundo de la computación paralela.
En la década de 1980, Friedman se dedicó al estudio del lenguaje de programación Scheme . Exploró el uso de macros para definir lenguajes de programación; con Eugene Kohlbecker, Matthias Felleisen y Bruce Duba, introdujo conjuntamente la noción de macros higiénicas en un artículo de LFP de 1986 que todavía se cita ampliamente en la actualidad. [3] Con Christopher T. Haynes y Mitchell Wand, estudió simultáneamente la naturaleza de los objetos de continuación , sus usos y las posibilidades de restringirlos. [4] Después de eso, Friedman y Felleisen introdujeron un cálculo lambda con continuaciones yoperadores de control . [5] Su trabajo ha generado trabajos sobre semántica, conexiones entre la lógica clásica y la computación, y extensiones prácticas de continuaciones. [ cita requerida ]
Friedman es también un prolífico autor de libros de texto. Su primer libro de texto, The Little LISPer , se remonta a 1974 y todavía está impreso en su cuarta edición, ahora llamada The Little Schemer (con Felleisen). Friedman y Felleisen escribieron tres libros "pequeños" más en la década de 1990: The Little MLer , The Seasoned Schemer y A Little Java , A Few Patterns .
Friedman también es el autor principal de Essentials of Programming Languages , un libro de texto sobre lenguajes de programación. Como tal, cambió el panorama de los libros de texto de idiomas en la década de 1980, cambiando el enfoque de las encuestas de idiomas al estudio de los principios a través de una serie de intérpretes. Los libros de texto actuales sobre este tema tienden a seguir esta organización, empleando semántica operativa y teoría de tipos en lugar de intérpretes. Al igual que The Little LISPer , Essentials of Programming Languages es un libro de larga vida y ahora está en su tercera edición.
Más recientemente, Friedman reanudó su trabajo en su serie "Little" con The Reasoned Schemer (con William E. Byrd y Oleg Kiselyov), explicando la programación lógica a través de una extensión de Scheme, y con The Little Prover (con Carl Eastlund), introduciendo pruebas inductivas. como una forma de determinar hechos acerca de los programas de computadora.