Alfredo Di Napoli
Software Engineer at Well-Typed LLP
Rome, Lazio, Italy
Summary
🤩
RockstarAlfredo Di Napoli is a seasoned software engineer with 15 years of experience, based in Rome and specializing in Haskell back-end development. He contributes to high-profile open-source projects such as the Glasgow Haskell Compiler and LiquidHaskell, where his work spans parser improvements, pretty-printing, refactors, and test/verbosity enhancements. Comfortable working remotely, he brings deep expertise in type-driven development and formal tooling that improves code clarity and maintainability. Alfredo’s contributions often focus on subtle but impactful engineering tasks—renaming types for clearer error semantics, enabling broader testability, and fixing tricky import and parsing edge cases. Colleagues value him for turning intricate language and compiler issues into robust, testable solutions. His profile signals a pragmatic engineer who pairs language-level rigor with practical developer tooling improvements.
15 years of coding experience
Github Skills (7)
error-handling10
compiler-design10
parser10
haskell10
refinement-types10
testing9
refactoring9
Programming languages (23)
Github contributions (5)
ucsd-progsys/liquidhaskell
Jan 2020 - Apr 2021
Liquid Types For Haskell
Role in this project:
Back-end Developer
Back-end DeveloperContributions:4 reviews, 405 commits, 44 PRs in 1 year 3 months
Contributions summary:Alfredo's contributions focused on enhancements and fixes within a Haskell project leveraging Liquid Haskell. The user removed an option in the extraOptions function, leading to better symbol loading. They also added a golden test for json output and incorporated verbosity in runLiquid and checkTargets. Furthermore, the user enabled tests to be run via stack or cabal.
haskellrefinement-typessmtverification
ghc/ghc
Jul 2019 - Sep 2021
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Role in this project:Back-end Developer
Back-end DeveloperContributions:104 commits in 2 years 2 months
Contributions summary:Alfredo contributed to the Glasgow Haskell Compiler (GHC) by addressing specific issues related to pretty printing and the parser. Their work involved implementing line wrapping for long expressions, as well as renaming parser error and warning types for improved clarity and maintainability. Furthermore, the user refactored modules to add new types, and fixed issues around import statements.
compilerghcgitlabhaskell
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.