Dan Doel
Principal Compiler Engineer at Unison Computing
Cambridge, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolDan Doel is a Principal Compiler Engineer with 18 years of experience building language runtimes and domain-specific languages, currently leading compiler and runtime work at Unison Computing in Cambridge, MA. He has deep expertise in functional languages and type theory, evidenced by substantial contributions to projects like Unison, Haskell's vector library, and Cubical Agda where he tackled low-level runtimes, loop optimizations, and higher-inductive-type proofs. His career includes designing a custom programming language at Capital IQ and implementing production-grade runtimes, bytecode serialization, and unboxed data stacks. Colleagues rely on him for pragmatic refactors that improve compiler correctness and maintainability—he routinely enables stricter warnings and fixes subtle arithmetic and safety issues. Dan combines academic rigor from a Computer Science degree at Case Western Reserve with hands-on engineering, often operating at the intersection of language design, formalism, and systems performance. He’s quietly notable for translating deep type-theoretic concepts into robust, practical compiler implementations.
18 years of coding experience
9 years of employment as a software developer
Bachelor of Science (B.S.) Computer Science, Bachelor of Science (B.S.) Computer Science at Case Western Reserve University
Stackoverflow
171reputation
1kreached
1answer
0questions
Github Skills (15)
data-structures10
type-system10
functional-programming10
agda10
interpreter10
cubical-type-theory10
haskell10
data-structure10
ghc9
refactoring9
compiler9
common-library8
c-library8
standard-library8
polymorphism6
Programming languages (13)
Github contributions (5)
unisonweb/unison
May 2015 - Jan 2023
A friendly programming language from the future
Role in this project:
Back-end Developer
Back-end DeveloperContributions:164 reviews, 662 commits, 211 PRs in 7 years 9 months
Contributions summary:Dan has made significant progress implementing a new runtime environment for the Unison language. They were actively involved in designing and implementing a new runtime, including the code representation, an interpreter for the low-level code, and an unboxed data stack. Furthermore, the user also made changes to the stack and evaluator for handling delimited control. They also added and implemented various improvements to the codebase, including the support for bytecode serialization/deserialization.
haskellcompilerdistributed-systemsunisonunison-language
haskell/vector
Feb 2010 - Jul 2017
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
Role in this project:Back-end Developer
Back-end DeveloperContributions:2 releases, 111 commits, 47 PRs in 7 years 6 months
Contributions summary:Dan primarily contributed to the `haskell/vector` repository by fixing warnings, implementing features, and refactoring code. Their work involved implementing the `IsList` interface for various vector types, enabling the vector to be constructed from lists. The user also focused on improving code quality by enabling -Wall, removing unused imports, and fixing unused variables, as well as fixing arithmetic errors.
intindexedarraysloopmutable
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.