Programming

17668 readers

135 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Follow the programming.dev instance rules
Keep content related to programming in some way
If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities [email protected]

founded 2 years ago

MODERATORS

snowe

Ategon

[email protected]

Say you could solicit a notable figure in technology, who would you want to lurk on this instance? (self.programming)

submitted 1 year ago by varsock to c/programming

35 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 6 points 1 year ago

Duncan Coutts, Philip Wadler, Simon Peyton Jones, Edwin Brady, and John Wiegley are notable figures in technology mainly due to their significant contributions to programming languages, particularly functional languages.

Duncan Coutts: He is a well-known computer scientist mainly due to his work in the development of Haskell programming language. Duncan Coutts is one of the lead developers of the Glasgow Haskell Compiler (GHC) and played an important part in the development of the Cabal and Stack build tools for Haskell.
Philip Wadler: He is a prominent computer scientist known primarily for his work in programming language theory, and as a significant contributor to the development of the Haskell programming language. Wadler also contributed to the theory and implementation of functional programming languages and led the development of the XQuery and JSONiq query and processing languages for XML and JSON.
Simon Peyton Jones: He is a British computer scientist who has made substantial contributions to the field of functional programming languages, particularly the Haskell programming language. His work in the development of the Glasgow Haskell Compiler has been integral for the Haskell community. He is also well-known for his research into type systems and type inference.
Edwin Brady: He is best known for his work on the Idris programming language, a general-purpose functional programming language with dependent types. Brady's work on Idris has made an impact on the fields of software verification and type-driven development.
John Wiegley: He is a significant contributor to the development of the Emacs and Haskell communities. He served as the maintainer of GNU Emacs from 2015 to 2017. He created several popular Emacs packages and also carried out notable work on various Haskell projects such as the development of hledger.

These individuals are respected for their contributions to the field of computer science, particularly due to their work on the conceptualization, development, and advancement of important programming languages and tools.