Дэниел П. Фридман
Дэниел Пол Фридман. | |
---|---|
Рожденный | 1944 (возраст 79–80 лет) |
Альма-матер | Хьюстонский университет [1] |
Известный | Языки программирования |
Научная карьера | |
Поля | Информатика |
Дэниел Пол Фридман (род. 1944) — профессор компьютерных наук Университета Индианы в Блумингтоне, штат Индиана . Его исследования сосредоточены на языках программирования , и он является выдающимся автором в этой области.
Вместе с Дэвидом Уайзом Фридман написал весьма влиятельную статью о ленивом программировании , особенно о ленивых потоках ( ICALP 1976). В статье, озаглавленной «Противники не должны оценивать свои аргументы», [2] — одна из первых публикаций, призывающих к исследованию стиля программирования с потенциально бесконечными структурами данных и формы программирования, не использующей вычислительных эффектов (хотя программы могут различаться). В 1970-е годы Фридман и Уайз глубоко исследовали эту тему, а также рассматривали возможность расширения мира параллельных вычислений .
В 1980-х годах Фридман обратился к изучению языка программирования Scheme . Он исследовал использование макросов для определения языков программирования; вместе с Юджином Кольбекером, Маттиасом Феллейзеном и Брюсом Дубой он ввел понятие гигиенических макросов в статье LFP 1986 года , которая до сих пор широко цитируется. [3] Вместе с Кристофером Т. Хейнсом и Митчеллом Вандом он одновременно изучал природу объектов-продолжений , их использование и возможности их ограничения. [4] После этого Фридман и Феллизен представили лямбда-исчисление с операторами продолжения и управления . [5]
Ссылки [ править ]
- ^ «Вечер с Дэном Фридманом» . 6 апреля 2016. Архивировано из оригинала 11 марта 2018 года . Получено 11 сентября 2017 г. - через Vimeo.
- ^ Фридман, Дэниел П. (1976). «Противники не должны оценивать свои аргументы». ИКП.
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь ) - ^ Фридман, Дэниел П. (1986). «Гигиенические макросы». ACM Lisp и функциональное программирование.
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь ) - ^ Фридман, Дэниел П. (1984). «Сдерживающий контроль». Принципы ACM языков программирования.
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь ) - ^ Фридман, Дэниел П. (1986). «Рассуждения с продолжениями л». Логика IEEE в информатике.
{{cite journal}}
: Для цитирования журнала требуется|journal=
( помощь )
Книги [ править ]
Дэниел П. Фридман является автором или соавтором следующих книг:
- Маленький Лиспер ISBN 0-262-56038-0 (MIT Press, 1987)
- Маленький интриган ISBN 0-262-56099-2 (MIT Press, 4-е изд., 1996 г.)
- Маленький МЛер ISBN 0-262-56114-X (MIT Press, 1998)
- Немного Java, несколько паттернов ISBN 0-262-56115-8 (MIT Press, 1998)
- Опытный интриган ISBN 0-262-56100-X (MIT Press, 1996)
- Разумный интриган ISBN 0-262-56214-6 (MIT Press, 2018)
- Маленький прувер ISBN 0-262-52795-2
- Основы языков программирования ISBN 0-262-06217-8 (MIT Press, 3-е изд. 2008 г.)
- Схема и искусство программирования ISBN 0-262-19288-8
- Координированные вычисления: инструменты и методы для распределенного программного обеспечения ISBN 0-07-022439-0
- Маленький машинист ISBN 9780262536431
- Маленький ученик ISBN 9780262546379 (MIT Press, 2023)
Внешние ссылки [ править ]
- Домашняя страница Дэниела П. Фридмана
- Домашняя страница маленького интригана, заархивированная 26 апреля 2015 г. на Wayback Machine.
- Минусы не должны оценивать его аргументы, версия технического отчета
- Веб-страница DanFest, академического празднования 60-летия Фридмана в 2004 году.
- «Дэн Фридман — крутые идеи» , основной доклад Гая Стила на DanFest, посвященный обзору работ Фридмана.