Richard Eisenberg
Functional Language Designer at Jane Street
Whitemarsh Township, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolRichard Eisenberg is a functional language designer and type-systems researcher with 11 years of experience building correct-by-construction software, currently shaping type system improvements at Jane Street. A core contributor to the GHC (Glasgow Haskell Compiler) and the broader Haskell ecosystem, he has implemented type-checking and code-generation fixes, authored proposal documentation, and contributed to OCaml internals. He combines academic rigor—PhD-level research and prior assistant professorship—with practical compiler engineering, having also taught and mentored at the high-school level. Notably, his work spans both producing formal proposals for language evolution and shipping concrete compiler patches and tests that prevent regressions in widely used functional-language toolchains.
11 years of coding experience
14 years of employment as a software developer
Bachelor of Arts - BA, Physics, In Major: 3.92; Overall: 3.79, Bachelor of Arts - BA, Physics, In Major: 3.92; Overall: 3.79 at Harvard UniversityDoctor of Philosophy - PhD, Computer and Information Science, Doctor of Philosophy - PhD, Computer and Information Science at University of Pennsylvania
English
Stackoverflow
299reputation
2kreached
5answers
0questions
Github Skills (17)
restructuredtext10
functional10
ocaml10
type-system10
compiler-compiler10
compiler-design10
compiler10
functional-programming10
functional-programming-language10
haskell10
documentation10
code-generation8
ghc6
type-inference6
gadt6
Programming languages (14)
Github contributions (5)
ghc-proposals/ghc-proposals
Mar 2019 - Nov 2022
Proposed compiler and language changes for GHC and GHC/Haskell
Role in this project:
Technical Writer
Technical WriterContributions:226 reviews, 189 commits, 93 PRs in 3 years 8 months
Contributions summary:Richard primarily contributed to the documentation of GHC proposals. Their commits involved adding new sections to a template, fixing links, and updating metadata within the repository's README and proposal files. The contributions centered on clarifying proposal lifecycle, the usage of language features, and the process for accepting proposals.
language-changesghchaskellcabalcompiler
ocaml/ocaml
Dec 2022 - Dec 2022
The core OCaml system: compilers, runtime system, base libraries
Role in this project:Backend Developer
Backend DeveloperContributions:88 reviews, 1 commit, 17 PRs in 1 day
Contributions summary:Richard primarily contributed to the core OCaml system, specifically focusing on type system and compiler-related areas. Their work involved refactoring code, removing redundancies, and fixing overlong lines. They demonstrated expertise in the intricacies of the OCaml type system and the compiler's internal workings through modifications in key files like `typetexp.ml` and `typedecl.ml`.
functional-languagecompilersruntime-systemapllwt
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.