Lennart Augustsson es un científico informático sueco . Anteriormente fue profesor en el Departamento de Ciencias de la Computación de la Universidad Tecnológica de Chalmers . Su campo de investigación es la programación funcional y las implementaciones de lenguajes de programación funcional . [ 1 ]
Augustsson ha trabajado para Carlstedt Research and Technology, Sandburst, Credit Suisse , Standard Chartered Bank , Facebook , X Development , Google y actualmente trabaja para Epic Games . [ 2 ]
Programación
Augustsson participó activamente en el desarrollo inicial del juego multijugador masivo en línea (MUD) LPMud , tanto en el controlador LPMUD como en la biblioteca de CD mudlib . Su seudónimo en la comunidad MUD es Marvin.
Fue autor de varios controladores de dispositivos de hardware para el sistema operativo Unix NetBSD de Berkeley Software Distribution (BSD) . [ 3 ]
Idiomas
Augustsson ha desarrollado varios lenguajes de programación e implementaciones, entre ellos:
- Cayena [ 4 ]
- Compilador Haskell -B (HBC) [ 5 ]
- Interfaz del compilador de Parallel Haskell (pH) , del Instituto Tecnológico de Massachusetts (MIT) [ 6 ]
- Compilador Bluespec SystemVerilog (BSV), primera versión [ 7 ]
- Lazy ML (LML), codesarrollado con Thomas Johnsson, [ 8 ] es un lenguaje de programación funcional desarrollado a principios de la década de 1980, antes de Miranda y Haskell. LML es una implementación de ML fuertemente tipada y de ámbito estático , con evaluación perezosa . La innovación clave de LML fue demostrar cómo compilar un lenguaje funcional perezoso. Hasta entonces, los lenguajes perezosos se habían implementado mediante reducción de grafos interpretada . LML se compilaba a código de máquina de reducción de grafos (máquina G). [ 8 ]
- Parte del equipo de desarrollo de Epic Games responsable de crear el lenguaje de programación Verse [ 9 ]
Augustsson ha escrito tres trabajos ganadores en el lenguaje C para el Concurso Internacional de Código C Ofuscado :
- 1985: Programa más desconocido ( 1985/august.c )
- 1986: Mejor tarea compleja realizada de forma compleja ( 1986/agosto.c )
- 1996: Mejor de la Exposición ( 1996/agosto.c )
Referencias
- ↑ Augustsson, Lennart (2004–2011). "Usuarios comerciales de la programación funcional" . Archivado del original el 8 de febrero de 2012. Recuperado el 18 de septiembre de 2016 .
- ↑ Augustsson, Lennart (2024). "Lennart Augustsson" . Perfil de LinkedIn . Consultado el 29 de marzo de 2017 .
- ↑ "Capítulo 13 Dispositivos USB" . Consultado el 18 de septiembre de 2016 .
- ↑ Augustsson, Lennart (1998). Cayenne: un lenguaje con tipos dependientes . ICFP '98. Actas de la tercera conferencia internacional ACM SIGPLAN sobre programación funcional . págs. 239–250 . CiteSeerX 10.1.1.47.155 . doi : 10.1145/289423.289451 . S2CID 18331937 .
- ↑ "Implementaciones en Haskell" . Haskell.org . 30 de septiembre de 2022. Consultado el 10 de noviembre de 2023 .
- ↑ "pH: Haskell paralelo" . Instituto Tecnológico de Massachusetts: Grupo de Estructuras Computacionales . Consultado el 18 de septiembre de 2016 .
- ^ Augustsson, Lennart (17 de enero de 2003). Bluespec: perspectiva del diseñador (PDF) (Reporte). Corporación Sandburst.
- 1 2 Augustsson, Lennart (1984). Un compilador para Lazy ML . LFP '84. Actas del Simposio ACM de 1984 sobre LISP y programación funcional . págs. 218–227 . doi : 10.1145/800055.802038 . S2CID 11365842 .
- ↑ "El cálculo de versos: Un cálculo fundamental para la programación lógica funcional" (PDF) . Marzo de 2023.
Enlaces externos
- Sitio web oficial
- El blog de Lennart Augustsson
- El compilador HBC archivado en archive.is
- científicos informáticos suecos
- programadores informáticos suecos
- diseñadores de lenguajes de programación
- investigadores de lenguajes de programación
- desarrolladores de MUD
- Personas vivas