Santi Weight
Senior Software Engineer at Bridgewater Associates
New York City Metropolitan Area United States
Summary
🤩
Rockstar🎓
Top SchoolSanti Weight is a Senior Software Engineer based in the New York City area with eight years of experience architecting DSLs, compilers, and language tooling. He blends a deep functional programming background—favoring Haskell, Agda, and Idris—with practical engineering work, from designing the NQE language at Forward Networks to building DSLs and simulators at Luminous Computing. At Bridgewater he continues to apply formal methods and type-theoretic thinking to domain-specific language problems for demanding production systems. An active contributor to the Haskell Language Server, he has refactored core modules and implemented LSP code actions that improved maintainability and developer ergonomics. Santi’s work habitually bridges research-level ideas (denotational semantics, program verification) with shipped software, making correctness-first design a pragmatic advantage. He combines rigorous theoretical interests with a track record of delivering maintainable, production-ready language infrastructure.
8 years of coding experience
7 years of employment as a software developer
Bachelor of Arts - BA, Computer Science, Bachelor of Arts - BA, Computer Science at Claremont McKenna College
English, Spanish, French
Github Skills (7)
server10
haskell10
act10
ghc10
refactoring9
cabal8
ide7
Programming languages (8)
Github contributions (5)
haskell/haskell-language-server
Nov 2022 - Dec 2022
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:27 reviews, 6 commits, 12 PRs in 28 days
Contributions summary:Santi contributed significantly to the Haskell Language Server, focusing on refactoring and implementing core features. Their work included adding support for code actions, particularly adding function arguments and updating type signatures, and addressing build errors. They also refactored code to extract modules and clean up existing code, indicating an effort to improve maintainability and modularity.
ghchaskell-language-servercabalhaskelllsp-server
santiweight/haskell-language-server
Jun 2022 - Dec 2022
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Contributions:178 pushes, 24 branches in 5 months
ghchaskellcaballsp-serveride
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.