Daniel P. Friedman - Daniel P. Friedman

Daniel Paul Friedman (ur. 1944) jest profesorem informatyki na Uniwersytecie Indiana w Bloomington w stanie Indiana . Jego badania koncentrują się na językach programowania i jest wybitnym autorem w tej dziedzinie.

Wraz z Davidem Wise Friedman napisał bardzo wpływową pracę na temat leniwego programowania , w szczególności leniwych strumieni ( ICALP 1976). Artykuł zatytułowany „Wady nie powinny oceniać swoich argumentów” jest jedną z pierwszych publikacji popierających eksplorację stylu programowania z potencjalnie nieskończonymi strukturami danych i formą programowania bez efektów obliczeniowych (chociaż programy mogą się różnić). W latach siedemdziesiątych Friedman i Wise dogłębnie badali ten temat, a także rozważali rozszerzenie świata obliczeń równoległych.

W latach osiemdziesiątych Friedman zwrócił się ku badaniu języka programowania Scheme . Badał wykorzystanie makr do definiowania języków programowania; wraz z Eugene'em Kohlbeckerem, Matthiasem Felleisenem i Brucem Dubą wprowadził pojęcie higienicznych makr w papierze LFP z 1986 roku, który jest nadal szeroko cytowany. Wraz z Christopherem T. Haynesem i Mitchellem Wandem badał jednocześnie naturę obiektów kontynuacji , ich zastosowania i możliwości ich ograniczenia. Następnie Friedman i Felleisen wprowadzili rachunek lambda z kontynuacjami i operatorami sterującymi . Ich praca dała początek pracom nad semantyką, związkami między logiką klasyczną a obliczeniami oraz praktycznymi rozszerzeniami kontynuacji.

Friedman jest także płodnym autorem podręczników. Jego pierwszy podręcznik, The Little LISPer , pochodzi z 1974 roku i jest nadal drukowany w czwartym wydaniu, obecnie pod tytułem The Little Schemer (z Felleisen). W latach 90. Friedman i Felleisen napisali jeszcze trzy „małe” książki: „Mały MLer” , „Zaprawiony plan ” i „ A Little Java , A Few Patterns” .

Friedman jest także głównym autorem Essentials of Programming Languages , podręcznika o językach programowania. W związku z tym zmienił on krajobraz podręczników językowych w latach 80., przenosząc punkt ciężkości z badań języków na badanie zasad za pośrednictwem szeregu tłumaczy. Dzisiejsze podręczniki na ten temat mają tendencję do podążania za tą organizacją, wykorzystując semantykę operacyjną i teorię typów zamiast interpretatorów. Podobnie jak The Little LISPer , Essentials of Programming Languages to długowieczna książka, która znajduje się obecnie w trzecim wydaniu.

Ostatnio Friedman wznowił pracę nad swoją „Małą” serią z The Reasoned Schemer (z Williamem E. Byrdem i Olegiem Kiselyovem), wyjaśniając programowanie logiczne poprzez rozszerzenie Scheme oraz z The Little Prover (z Carlem Eastlundem), wprowadzając indukcyjne dowody jako sposób na ustalenie faktów dotyczących programów komputerowych.

Bibliografia

Książki

Daniel P. Friedman jest autorem lub współautorem następujących książek:

• The Little Lisper ISBN   0-262-56038-0
• The Little Schemer ISBN   0-262-56099-2
• The Little MLer ISBN   0-262-56114-X
• Trochę Java, kilka wzorców ISBN   0-262-56115-8
• The Seasoned Schemer ISBN   0-262-56100-X
• The Reasoned Schemer ISBN   0-262-56214-6
• The Little Prover ISBN   0-262-52795-2
• Podstawy języków programowania ISBN   0-262-06217-8
• Schemat i sztuka programowania ISBN   0-262-19288-8
• Skoordynowane obliczenia komputerowe: narzędzia i techniki dla oprogramowania rozproszonego ISBN   0-07-022439-0
• The Little Typer ISBN   9780262536431

Linki zewnętrzne

• Strona internetowa Daniela P. Friedmana
• Strona domowa The Little Schemer's
• Wady nie powinny oceniać swoich argumentów, wersji raportu technicznego
• Strona internetowa DanFest, akademickiego obchodów 60. urodzin Friedmana w 2004 r
  • „Dan Friedman — Cool Ideas” , przemówienie Guya Steele'a na DanFest recenzujące prace Friedmana