Daniela P. Friedmana

W przypadku innych osób o tym samym nazwisku zobacz Daniel Friedman (ujednoznacznienie) .

dr Daniela Paula Friedmana.
Urodzić się	1944 (wiek 78–79)
Alma Mater	Uniwersytet w Houston
Znany z	Języki programowania
Kariera naukowa
Pola	Informatyka

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

Wraz z Davidem Wise'em Friedman napisał bardzo wpływowy artykuł na temat leniwego programowania , a konkretnie leniwych strumieni ( ICALP 1976). Artykuł zatytułowany „Przeciw nie powinien oceniać swoich argumentów” jest jedną z pierwszych publikacji naciskających na eksplorację stylu programowania z potencjalnie nieskończonymi strukturami danych i formą programowania, która nie wykorzystuje efektów obliczeniowych (chociaż programy mogą się różnić). W latach siedemdziesiątych Friedman i Wise dogłębnie zbadali ten temat, a także rozważyli rozszerzenie świata obliczeń równoległych.

W latach 80. Friedman zajął się badaniem języka programowania Scheme . Zbadał wykorzystanie makr do definiowania języków programowania; wraz z Eugene'em Kohlbeckerem, Matthiasem Felleisenem i Brucem Dubą wprowadził pojęcie makr higienicznych w artykule LFP z 1986 roku, który jest nadal szeroko cytowany. Wraz z Christopherem T. Haynesem i Mitchellem Wandem jednocześnie badał naturę obiektów kontynuacji , ich zastosowania i możliwości ich ograniczania. Następnie Friedman i Felleisen wprowadzili rachunek lambda z kontynuacjami i operatorami kontrolnymi . Ich praca zaowocowała pracami nad semantyką, powiązaniami 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 nadal jest drukowany w swoim czwartym wydaniu, obecnie zatytułowanym The Little Schemer (z Felleisen). Friedman i Felleisen napisali jeszcze trzy „małe” książki w latach 90.: The Little MLer , The Seasoned Schemer i A Little Java , A Few Patterns .

Friedman jest także głównym autorem Essentials of Programming Languages , podręcznika dotyczącego języków programowania. W związku z tym zmienił krajobraz podręczników językowych w latach 80. XX wieku, przenosząc punkt ciężkości z badań językowych 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 tłumaczy. Podobnie jak The Little LISPer , Essentials of Programming Languages ​​jest książką długowieczną i jest obecnie w trzecim wydaniu.

Ostatnio Friedman wznowił pracę nad swoją serią „Little” 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 dowody indukcyjne jako sposób ustalania faktów dotyczących programów komputerowych.

Książki

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

•   Mały Lisper ISBN 0-262-56038-0 (MIT Press, 1987)
•   Mały intrygant ISBN 0-262-56099-2 (MIT Press, wyd. 4, 1996)
•   Mały MLer ISBN 0-262-56114-X (MIT Press, 1998)
•   Trochę Java, kilka wzorów ISBN 0-262-56115-8 (MIT Press, 1998)
•   Doświadczony intrygant ISBN 0-262-56100-X (MIT Press, 1996)
•   Rozsądny intrygant ISBN 0-262-56214-6 (MIT Press, 2018)
•   Mały Prover ISBN 0-262-52795-2
•   Podstawy języków programowania ISBN 0-262-06217-8 (MIT Press, wyd. 3, 2008)
•   Schemat i sztuka programowania ISBN 0-262-19288-8
•   Obliczenia skoordynowane: narzędzia i techniki dla oprogramowania rozproszonego ISBN 0-07-022439-0
•   Mały Typer ISBN 9780262536431

Linki zewnętrzne

• Strona domowa Daniela P. Friedmana
• Strona główna The Little Schemer zarchiwizowana 26.04.2015 w Wayback Machine
• Wady nie powinny oceniać swoich argumentów, wersja raportu technicznego
• Strona internetowa DanFest, akademickich obchodów 60. urodzin Friedmana w 2004 r.
  • „Dan Friedman — fajne pomysły” , przemówienie programowe Guya Steele'a na DanFest, w którym dokonano przeglądu prac Friedmana