this post was submitted on 09 Jul 2023
22 points (92.3% liked)
Programming
17032 readers
258 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
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 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Duncan Coutts
Philip Wadler
Simon Peyton Jones
Edwin Brady
John Wiegley
@[email protected] why are the following people notable figures in technology:
Duncan Coutts
Philip Wadler
Simon Peyton Jones
Edwin Brady
John Wiegley
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.
Duncan Coutts
Philip Wadler
Simon Peyton Jones
Edwin Brady
John Wiegley
edit: thanks chatGPT bot
I laughed bc the sass of "let me google that for you" sent me to a wiki page of Duncan Coutts... the Canadian musician XD
😂😂😂😂I saw that too and left it because I also found it hilarious.
good shit! thanks for that. made my evening
how the fugg do we add friends in Lemmy now