Jon Pretty
Chief Executive Officer at Propensive
Germany
Summary
🤩
Rockstar🎓
Top SchoolJon Pretty is a veteran Scala engineer and founder who has led Propensive as CEO since 2009 while shaping the Scala ecosystem for over a decade. He launched the first commercial and open-source Scala software in 2005, authors influential libraries like Magnolia and Contextual, contributes to high-profile projects such as the Bloop build server, and chairs the Scala Center Advisory Board. His background blends hands-on compiler and macro engineering with executive leadership, having served in technical and consulting roles at Scala Technology, Morgan Stanley and others. Based in Germany and educated in Mathematics & Computer Science at Cambridge, he combines deep type-level and tooling expertise with a knack for turning cutting-edge language research into production-ready developer tools.
14 years of coding experience
8 years of employment as a software developer
MA (Hons) Mathematics & Computer Science, MA (Hons) Mathematics & Computer Science at University of CambridgeAlton College
English, French, German
Github Skills (10)
macros10
javas10
compiler10
build-tools10
typeclass10
generic-programming10
java10
scala10
developer-tools9
sbt9
Programming languages (9)
Github contributions (5)
softwaremill/magnolia
May 2017 - Apr 2021
Easy, fast, transparent generic derivation of typeclass instances
Role in this project:
Back-end Developer & Compiler Engineer
Back-end Developer & Compiler EngineerContributions:3 reviews, 220 commits, 120 PRs in 3 years 11 months
Contributions summary:Jon has been working on the core components of a Scala library designed for typeclass derivation. They have made significant changes to the `generic.scala` file, indicating work on the macro implementation. The commits show the user focused on iterative improvements and refinements in the macro, including dealing with reentrant issues, supporting annotations, and the internal state management of the compiler for complex type derivation.
type-safetyimplicit-searchtypeclassestypeclassgeneric-derivation
scalacenter/bloop
Jan 2018 - Nov 2019
Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.
Role in this project:Back-end Developer
Back-end DeveloperContributions:12 commits, 8 PRs, 5 pushes in 1 year 10 months
Contributions summary:Jon contributed to the `bloop` build server and CLI tool by addressing various aspects, including improvements to the build process and installation scripts. They focused on code improvements for tab-completion by renaming server and shell targets, and they updated install scripts related to the nailgun server. Additionally, the user addressed potential race conditions within the build by using a guaranteed-unique temporary directory name. The user also increased the timeout during the launcher process.
build-serverproductivitycompilation-servercompiledeveloper-tools
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.