Lennart Augustsson

Lennart Augustsson es un 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 estuvo íntimamente involucrado en el desarrollo inicial del sistema multiusuario LPMud , tanto en el controlador LPMUD como en la biblioteca de mudlib CD . 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 paralelo Haskell (pH), del Instituto Tecnológico de Massachusetts (MIT) ^[6]
Compilador Bluespec SystemVerilog (BSV), primera versión ^[7]
Lazy ML (LML), desarrollado en colaboración con Thomas Johnsson, ^[8] un lenguaje de programación funcional desarrollado a principios de los años 1980, antes de Miranda y Haskell. LML es una implementación de ML fuertemente tipada y con alcance 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 a través de la reducción de grafos interpretada . LML 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 entradas ganadoras en el lenguaje C para el Concurso Internacional de Código C Ofuscado :

1985: El programa más oscuro (1985/agosto.c)
1986: Mejor tarea compleja realizada de manera compleja (1986/agosto.c)
1996: Mejor de la exposición (1996/agosto.c)

Referencias

^ Augustsson, Lennart (2004–2011). «Usuarios comerciales de programación funcional». Archivado desde el original el 8 de febrero de 2012. Consultado 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 de Haskell". Haskell.org . 30 de septiembre de 2022 . Consultado el 10 de noviembre de 2023 .
^ "pH: Parallel Haskell". Instituto Tecnológico de Massachusetts: Computation Structures Group . Consultado el 18 de septiembre de 2016 .
^ Augustsson, Lennart (17 de enero de 2003). Bluespec: perspectiva del diseñador (PDF) (Reporte). Corporación Sandburst.
^ ab 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 básico 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