Леннарт Аугустссон

шведский ученый-компьютерщик

Леннарт Аугустссон — шведский ученый-компьютерщик . Ранее он преподавал на факультете компьютерных наук в Технологическом университете Чалмерса . Область его исследований — функциональное программирование и реализации языков функционального программирования . ^[1]

Аугустссон работал в Carlstedt Research and Technology, Sandburst, Credit Suisse , Standard Chartered Bank , Facebook , X Development , Google , а в настоящее время работает в Epic Games . ^[2]

Программирование

Аугустссон принимал активное участие в ранней разработке многопользовательского подземелья (MUD) LPMud , как в драйвере LPMUD, так и в CD-библиотеке madlib . Его псевдоним в сообществе MUD — Марвин.

Он является автором нескольких драйверов аппаратных устройств для операционной системы NetBSD Unix Berkeley Software Distribution (BSD) . ^[3]

Языки

Аугустссон разработал несколько языков программирования и их реализаций, в том числе:

• Кайенна ^[4]
• Компилятор Haskell -B (HBC) ^[5]
• Интерфейс параллельного компилятора Haskell (pH) от Массачусетского технологического института (MIT) ^[6]
• Компилятор Bluespec SystemVerilog (BSV), первая версия ^[7]
• Lazy ML (LML), разработанный совместно с Томасом Джонссоном, ^{[8] —} функциональный язык программирования, разработанный в начале 1980-х годов, до Миранды и Haskell. LML — это строго типизированная реализация ML со статической областью действия и ленивым вычислением . Ключевым нововведением LML была демонстрация того, как компилировать ленивый функциональный язык. До этого ленивые языки реализовывались посредством интерпретируемого сокращения графов . LML скомпилирован в код машины сокращения графов (G-машины). ^[8]
• Часть команды разработчиков Epic Games, ответственная за создание языка программирования Verse ^[9].

Аугустссон написал три работы-победителя на языке C для Международного конкурса запутанного кода C :

• 1985: Самая малоизвестная программа (1985/август.c)
• 1986: Лучшее комплексное задание, выполненное комплексно (1986/august.c)
• 1996: Лучшее шоу (1996/август.c)

Рекомендации

1. Аугустссон, Леннарт (2004–2011). «Коммерческие пользователи функционального программирования». Архивировано из оригинала 8 февраля 2012 года . Проверено 18 сентября 2016 г.
2. Аугустссон, Леннарт (2024). «Леннарт Аугустссон». Профиль в LinkedIn . Проверено 29 марта 2017 г.
3. «Глава 13 USB-устройства» . Проверено 18 сентября 2016 г.
4. Аугустссон, Леннарт (1998). Кайенский язык — язык с зависимыми типами . МКФП '98. Материалы третьей международной конференции ACM SIGPLAN по функциональному программированию . стр. 239–250. CiteSeerX 10.1.1.47.155 . дои : 10.1145/289423.289451 . S2CID  18331937. 
5. «Реализации Haskell». Хаскелл.орг . 30 сентября 2022 г. Проверено 10 ноября 2023 г.
6. «pH: Параллельный Haskell» . Массачусетский технологический институт: Группа вычислительных структур . Проверено 18 сентября 2016 г.
7. Аугустссон, Леннарт (17 января 2003 г.). Bluespec: Взгляд дизайнера (PDF) (Отчет). Корпорация Сэндбёрст.
8. Аугустссон, Леннарт (1984). Компилятор для Lazy ML . ЛФП '84. Материалы симпозиума ACM 1984 года по LISP и функциональному программированию . стр. 218–227. дои : 10.1145/800055.802038 . S2CID  11365842.
9. «Исчисление стихов — основное исчисление для функционального логического программирования» (PDF) . Март 2023.

Внешние ссылки

• Официальный веб-сайт
• Блог Леннарта Аугустссона
• Компилятор HBC заархивирован по адресу archive.is.