Леннарт Аугустссон
Леннарт Аугустссон | |
|---|---|
| Известный | Языки (Lazy ML , Cayenne), компиляторы ( Bluespec SystemVerilog first, HBC Haskell , параллельный интерфейс Haskell), пионер LPMud , драйверы устройств NetBSD |
| Научная карьера | |
| Поля | Информатика , функциональное программирование |
| Учреждения | Carlstedt Research and Technology, Sandburst, Credit Suisse , Standard Chartered Bank , Facebook , X Development , Google , Epic Games , Технологический университет Чалмерса |
Леннарт Аугустссон — шведский учёный-компьютерщик . Ранее он был преподавателем на кафедре вычислительной техники в Технологическом университете Чалмерса . Область его исследований — функциональное программирование и реализация языков функционального программирования . [1]
Аугустссон работал в компаниях Carlstedt Research and Technology, Sandburst, Credit Suisse , Standard Chartered Bank , Facebook , X Development , Google и в настоящее время работает в Epic Games . [2]
Программирование
Аугустссон принимал непосредственное участие в ранней разработке многопользовательского подземелья (MUD) LPMud , как в драйвере LPMUD , так и в CD mudlib . Его псевдоним в сообществе MUD — Марвин.
Он является автором нескольких драйверов аппаратных устройств для операционной системы NetBSD Unix компании Berkeley Software Distribution (BSD) . [3]
Языки
Аугустссон разработал несколько языков программирования и их реализаций, в том числе:
- Кайенский перец [4]
- Компилятор Haskell -B (HBC) [5]
- Фронтенд компилятора Parallel Haskell (pH) от Массачусетского технологического института (MIT) [6]
- Компилятор Bluespec SystemVerilog (BSV), первая версия [7]
- Lazy ML (LML), совместно разработанный с Томасом Джонссоном, [8] функциональный язык программирования, разработанный в начале 1980-х годов, до Miranda и Haskell. LML — это строго типизированная , статически ограниченная реализация ML с ленивым вычислением . Ключевым нововведением LML была демонстрация того, как компилировать ленивый функциональный язык. До этого ленивые языки реализовывались посредством интерпретируемой редукции графа . LML компилируется в код машины редукции графа (G-машины). [8]
- Часть команды разработчиков Epic Games, ответственная за создание языка программирования Verse [9]
Аугустссон написал три победных работы на языке C для Международного конкурса запутанного кода на языке C :
- 1985: Самая малоизвестная программа (1985/август.c)
- 1986: Лучшая сложная задача, выполненная комплексным способом (1986/август.c)
- 1996: Лучший из шоу (1996/август.c)
Ссылки
- ^ Аугустссон, Леннарт (2004–2011). «Коммерческие пользователи функционального программирования». Архивировано из оригинала 8 февраля 2012 года . Получено 18 сентября 2016 года .
- ^ Аугустссон, Леннарт (2024). «Леннарт Аугустссон». Профиль в LinkedIn . Проверено 29 марта 2017 г.
- ^ "Глава 13 USB-устройства" . Получено 18 сентября 2016 г.
- ^ Аугустссон, Леннарт (1998). Cayenne – язык с зависимыми типами . ICFP '98. Труды третьей международной конференции ACM SIGPLAN по функциональному программированию . стр. 239–250. CiteSeerX 10.1.1.47.155 . doi : 10.1145/289423.289451 . S2CID 18331937.
- ^ "Реализации Haskell". Haskell.org . 30 сентября 2022 г. . Получено 10 ноября 2023 г. .
- ^ "pH: Parallel Haskell". Массачусетский технологический институт: Computation Structures Group . Получено 18 сентября 2016 г.
- ^ Аугустссон, Леннарт (17 января 2003 г.). Bluespec: Взгляд дизайнера (PDF) (Отчет). Корпорация Сэндбёрст.
- ^ ab Augustsson, Lennart (1984). Компилятор для Lazy ML . LFP '84. Труды симпозиума ACM 1984 года по LISP и функциональному программированию . С. 218–227. doi : 10.1145/800055.802038 . S2CID 11365842.
- ^ «Исчисление стихов. Основное исчисление для функционального логического программирования» (PDF) . Март 2023 г.
Внешние ссылки
- Официальный сайт
- Блог Леннарта Аугустссона
- Компилятор HBC заархивирован на archive.is
