17
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 09 Jul 2023
17 points (90.5% liked)
Programming
17314 readers
378 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 !webdev@programming.dev
founded 1 year ago
MODERATORS
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.