Sandy Maguire
Principal Functional Engineer at Tweag, the OSPO of Modus Create
Victoria, British Columbia, Canada
Summary
🤩
Rockstar🎓
Top SchoolSandy Maguire is a Principal Functional Engineer with 16 years of experience building high-assurance, distributed systems and compilers, now based in Victoria, BC. They combine deep Haskell and type-level expertise with practical systems work—authoring and contributing to notable projects like ImplicitCAD, ghcid and the Haskell Language Server—while driving runtime and compiler architecture at scale. At Manifold Valley they rearchitected a compiler/runtime for distributed ML, introduced formal semantics with property-based tests, and implemented a trampolined CPS runtime that runs across many nodes. Comfortable across languages and paradigms, Sandy champions strongly-typed functional programming and pragmatic engineering practices such as monorepo migrations, testing, and code review. An author, musician and occasional “trouble-maker,” they bring a creative, research-informed approach to production systems and developer tools.
15 years of coding experience
6 years of employment as a software developer
Bachelor of Software Engineering Honors Software Engineering, Bachelor of Software Engineering Honors Software Engineering at University of Waterloo
English, French
Stackoverflow
53reputation
1kreached
3answers
1question
Github Skills (36)
markdown10
restructuredtext10
architecture10
saml10
ide10
language-server-protocol10
language-server10
markdown-it10
monads10
typeset10
repr10
ghci10
replit10
ghc10
functional-programming10
Programming languages (30)
Github contributions (5)
polysemy-research/polysemy
Feb 2019 - Dec 2022
:gemini: higher-order, no-boilerplate monads
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 releases, 6 reviews, 319 commits in 3 years 10 months
Contributions summary:Sandy primarily worked on code for a higher-order, no-boilerplate monad library named "polysemy". Their contributions included debugging code, testing and optimizing the library's core functionality, especially with type-level trickery. They introduced and refined several new combinators, including those related to state, error handling, and control flow, showing a focus on enhancing the library's flexibility.
boilerplategeminimonadsno-boilerplatenodejs
haskell/haskell-language-server
Sep 2020 - Jun 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:170 reviews, 156 commits, 156 PRs in 1 year 9 months
Contributions summary:Sandy primarily worked on enhancing the Haskell Language Server by contributing to the tactic engine, which provides code synthesis features via language server protocol (LSP). Their contributions included implementing core functionalities like case splitting, introduction of lambda expressions, and modifications to improve the overall performance of the tactic engine. The user also refactored and reorganized the codebase to allow for better maintainability and to address the efficient generation of code. Furthermore, the user incorporated support for the use of given constraints for more flexible type checking and refactored hypothesis type in the plugin for ease of maintenance.
ghchaskell-language-servercabalhaskelllsp-server
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.