Дэниел П. Фридман - Daniel P. Friedman
Доктор Дэниел Пол Фридман. | |
---|---|
Родившийся | 1944 (76–77 лет) |
Альма-матер | Хьюстонский университет |
Известен | Языки программирования |
Научная карьера | |
Поля | Компьютерная наука |
Дэниел Пол Фридман (родился в 1944 г.) - профессор компьютерных наук Университета Индианы в Блумингтоне, штат Индиана . Его исследования сосредоточены на языках программирования , и он является известным автором в этой области.
Вместе с Дэвидом Вайсом Фридман написал очень влиятельную статью о ленивом программировании , особенно о ленивых потоках ( ICALP, 1976). Статья под названием «Против не должны оценивать свои аргументы» - одна из первых публикаций, призывающих к исследованию стиля программирования с потенциально бесконечными структурами данных и формы программирования, не использующей вычислительных эффектов (хотя программы могут расходиться). В течение 1970-х годов Фридман и Уайз глубоко исследовали эту тему, а также рассмотрели возможности расширения мира параллельных вычислений.
В 1980-х Фридман обратился к изучению языка программирования Scheme . Он исследовал использование макросов для определения языков программирования; вместе с Юджином Кольбекером, Матиасом Фелляйзеном и Брюсом Дуба он представил понятие гигиенических макросов в статье LFP 1986 года, которая до сих пор широко цитируется. Вместе с Кристофером Т. Хейнсом и Митчеллом Уандом он одновременно изучал природу объектов продолжения , их использование и возможности ограничения. После этого Фридман и Фелляйзен ввели лямбда-исчисление с продолжениями и операторами управления . Их работа породила работу над семантикой, связями между классической логикой и вычислениями и практическими расширениями продолжений.
Фридман также является плодовитым автором учебников. Его первый учебник, «Маленький LISPer» , датируется 1974 годом и до сих пор печатается в четвертом издании, которое теперь называется «Маленький интриган» (совместно с Фелляйзеном). Фридман и Фелляйзен написали еще три «маленьких» книги в 1990-х: «Маленький MLer» , «Опытный разработчик» и «Маленькая Java , несколько шаблонов» .
Фридман также является ведущим автором учебника по языкам программирования « Основы программирования». Таким образом, он изменил ландшафт учебников по языкам в 1980-х, сместив акцент с изучения языков на изучение принципов с помощью ряда переводчиков. Сегодняшние учебники по этой теме, как правило, следуют этой организации, используя операционную семантику и теорию типов вместо интерпретаторов. Как и The Little LISPer , « Основы языков программирования» - это долговечная книга, которая сейчас находится в третьем издании.
Совсем недавно Фридман возобновил работу над своей серией "Little" с The Reasoned Schemer (с Уильямом Бердом и Олегом Киселевым), объясняя логическое программирование с помощью расширения Scheme, и с The Little Prover (с Карлом Истлундом), вводя индуктивные доказательства как способ узнать факты о компьютерных программах.
Рекомендации
Книги
Дэниел П. Фридман является автором или соавтором следующих книг:
- ISBN Little Lisper 0-262-56038-0
- ISBN маленького интригана 0-262-56099-2
- ISBN Little MLer 0-262-56114-X
- Немного Java, несколько шаблонов ISBN 0-262-56115-8
- ISBN опытного интригана 0-262-56100-X
- ISBN рассудочного интригана 0-262-56214-6
- Маленький испытатель ISBN 0-262-52795-2
- Основы языков программирования ISBN 0-262-06217-8
- Схема и искусство программирования ISBN 0-262-19288-8
- Скоординированные вычисления: инструменты и методы для распределенного программного обеспечения ISBN 0-07-022439-0
- ISBN Little Typer 9780262536431
внешние ссылки
- Домашняя страница Дэниела П. Фридмана
- Домашняя страница маленького интригана
- В минусы не стоит оценивать свои аргументы, версия технического отчета
-
Веб-страница DanFest, академического празднования 60-летия Фридмана в 2004 году
- «Дэн Фридман - крутые идеи» , основной доклад Гая Стила на DanFest, посвященный работе Фридмана.