commercial 2016–2020
TypeLead
Startup co-founded to commercialize Eta and bring pure functional programming to the enterprise JVM.
Co-founder & CTO
- Eta
- Haskell
- JVM
- Developer tooling
Work
A track record across commercial products and open source.
Projects are organized to make the distinction between professional product work and public open-source contributions immediately clear.
Commercial projects
Open-source projects
open source 2016–2022
Eta
A pure, lazy, statically-typed dialect of Haskell that runs on the JVM, with a strongly-typed FFI for safe Java interop.
Creator and lead developer
- Haskell
- GHC
- JVM bytecode
- STG
- Compilers