View source for Lennart Augustsson

{{Short description|Swedish computer scientist}}
{{Primary sources|date=February 2021}}
{{Infobox scientist
| name = Lennart Augustsson
| native_name = 
| native_name_lang = sv
| image = <!-- Filename only, no "File:" prefix -->
| image_upright = 
| landscape = <!-- yes, if wide image, otherwise leave blank -->
| alt = 
| caption = 
| birth_name = <!-- if different from "name" -->
| birth_date = <!--{{birth date |19yy|mm|dd}}-->
| birth_place = <!-- Sweden -->
| death_date = <!--{{death date and age |20yy|mm|dd |19yy|mm|dd}} (death date then birth date -->
| death_place = 
| death_cause = <!-- Include only if cause of death has significance for subject notability -->
| resting_place = 
| resting_place_coordinates = <!--{{coord|LAT|LONG|type:landmark|display=inline,title}}-->
| other_names = 
| fields = [[Computer science]], [[functional programming]]
| workplaces = Carlstedt Research and Technology, Sandburst, [[Credit Suisse]], [[Standard Chartered Bank]], [[Facebook]], [[X Development]], [[Google]], [[Epic Games]], [[Chalmers University of Technology]]
| patrons = 
| education = 
| thesis_title = <!-- or | thesis1_title = and | thesis2_title = -->
| thesis_url = <!-- or | thesis1_url = and | thesis2_url = -->
| thesis_year = <!-- or | thesis1_year = and | thesis2_year = -->
| doctoral_advisor = <!-- or | doctoral_advisors = -->
| academic_advisors = 
| doctoral_students = 
| notable_students = 
| known_for = Languages (Lazy [[ML (programming language)|ML]], Cayenne), compilers ([[Bluespec]] [[SystemVerilog]] first, HBC [[Haskell]], parallel Haskell front end), [[LPMud]] pioneer, [[NetBSD]] [[device driver]]s
| influences = 
| influenced = 
| awards = 
| spouse = <!-- or | spouses = -->
| partner = <!-- or | partners = -->
| children = 
| parents =
| father =
| mother =
| relatives =
| signature = <!-- Filename only -->
| signature_type = <!-- defaults to "Signature" -->
| signature_alt = 
| website = <!--{{URL|www.example.com}}-->
| footnotes = 
}}
'''Lennart Augustsson''' is a [[Sweden|Swedish]] [[computer scientist]]. He was formerly a lecturer at the [[computer science|Computing Science]] Department at [[Chalmers University of Technology]]. His research field is [[functional programming]] and implementations of functional [[programming language]]s.<ref name=cufp>{{cite web |last=Augustsson |first=Lennart |date=2004–2011 |title=Commercial Users of Functional Programming |url=http://cufp.org/users/lennartaugustsson |access-date=18 September 2016 |archive-url=https://web.archive.org/web/20120208181723/http://cufp.org/users/lennartaugustsson |archive-date=8 February 2012}}</ref>

Augustsson has worked for Carlstedt Research and Technology, Sandburst, [[Credit Suisse]], [[Standard Chartered Bank]], [[Facebook]], [[X Development]], [[Google]] and is currently employed by [[Epic Games]].<ref name="gplus">{{cite web |last=Augustsson |first=Lennart |date=2024 |url=https://www.linkedin.com/in/augustss/ |title=Lennart Augustsson |work=LinkedIn profile |access-date=29 March 2017}}</ref>

==Programming==
Augustsson was intimately involved in early development of the [[multi-user dungeon]] (MUD) [[LPMud]], both in the LPMUD driver and the [[CD gamedriver and mudlib|CD mudlib]]. His MUD community pseudonym is Marvin.

He authored several hardware [[device driver]]s for the [[Berkeley Software Distribution]] (BSD) [[Unix]] [[operating system]] [[NetBSD]].<ref name=usb>{{cite web |title=Chapter 13 USB Devices |url=http://www.freebsd.org/doc/en/books/arch-handbook/usb.html |access-date=18 September 2016}}</ref>

===Languages===
Augustsson has developed several [[programming language]]s and implementations, including:
* Cayenne<ref name=icfp>{{cite conference |last=Augustsson |first=Lennart |date=1998 |title=Cayenne – a language with dependent types |conference=ICFP '98 |work=Proceedings of the third ACM SIGPLAN international conference on Functional programming |pages=239–250 |citeseerx=10.1.1.47.155 |doi=10.1145/289423.289451 |doi-access=free |s2cid=18331937}}</ref>
* [[Haskell]]-B [[compiler]] (HBC)<ref name=hask>{{cite web |title=Haskell Implementations |url=http://www.haskell.org/haskellwiki/Implementations |date=30 September 2022 |website=Haskell.org |access-date=10 November 2023}}</ref>
* Parallel Haskell (pH)<!-- p is uncapitalized --> compiler front end, from the [[Massachusetts Institute of Technology]] (MIT)<ref name=phmit>{{cite web |title=pH: Parallel Haskell |url=http://csg.csail.mit.edu/projects/languages/ph.shtml |date=<!-- Undated --> |website=Massachusetts Institute of Technology: Computation Structures Group |access-date=18 September 2016}}</ref>
* [[Bluespec]] [[SystemVerilog]] (BSV) compiler, first version<ref name=blues>{{cite report |last=Augustsson |first=Lennart |date=17 January 2003 |title=Bluespec: Designer's Perspective |publisher=Sandburst Corporation |url=http://csg.csail.mit.edu/IAPBlue/workshop/Augustsson-designer.pdf}}</ref>
* Lazy ML (LML), co-developed with Thomas Johnsson,<ref name=clml>{{cite conference |last=Augustsson |first=Lennart |date=1984 |title=A Compiler for Lazy ML |conference=LFP '84 |work=Proceedings of the 1984 ACM Symposium on LISP and functional programming |pages=218–227 |doi=10.1145/800055.802038 |doi-access=free |s2cid=11365842}}</ref> a functional programming language developed in the early 1980s, before [[Miranda (programming language)|Miranda]] and Haskell. LML is a [[Strong and weak typing|strongly typed]], [[Scope (computer science)|statically scoped]] implementation of [[ML (programming language)|ML]], with [[lazy evaluation]]. The key innovation of LML was to demonstrate how to compile a lazy functional language. Until then, lazy languages had been implemented via interpreted [[graph reduction]]. LML compiled to [[graph reduction machine]] (G-machine) code.<ref name=clml/>
* Part of the development team at [[Epic Games]] responsible for creating the [[Verse (programming language)|Verse programming language]]<ref>{{Cite web |date=March 2023 |title=The Verse Calculus A Core Calculus for Functional Logic Programming |url=https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf}}</ref>

Augustsson has written three winning entries in the language [[C (programming language)|C]] for the [[International Obfuscated C Code Contest]]:
* 1985: Most obscure program ([http://www.ioccc.org/years.html#1985_august 1985/august.c])
* 1986: Best complex task done in a complex way ([http://www.ioccc.org/years.html#1986_august 1986/august.c])
* 1996: Best of Show ([http://www.ioccc.org/years.html#1996_august 1996/august.c])

== References ==
{{Reflist}}

==External links==
* {{Official website|www.augustsson.net}}
* [http://augustss.blogspot.com/ Lennart Augustsson's blog]
* [https://archive.today/20081013104621/http://www.cs.chalmers.se/~augustss/hbc/hbc.html The HBC compiler] archived at [[archive.is]]

{{MUDs}}
{{Haskell programming}}
{{ML programming}}
{{Authority control}}

{{DEFAULTSORT:Augustsson, Lennart}}
[[Category:Swedish computer scientists]]
[[Category:Swedish computer programmers]]
[[Category:Programming language designers]]
[[Category:Programming language researchers]]
[[Category:MUD developers]]
[[Category:Year of birth missing (living people)]]
[[Category:Living people]]