Patrick Thompson

The Pony Project: code without compromises

 

PONY is a new programming language for systems – smartphones, operating systems, or the embedded computers in cars or medical equipment – with customizable syntax and semantics. Existing systems languages have fixed syntax and semantics, which forces programmers in these languages to twist their code to fit into preexisting models. In contrast, Pony programmers extend the language itself by selecting and importing language features as necessary. PONY’s modular nature allows for safer systems, cleaner code, and productive programmers

Any programmer who has experienced the frustration of trying to customize an inflexible language will immediately see how PONY can not only make their code better but also make them more productive. Individual programmers can use PONY to clean up their code and rest secure in the knowledge that the code PONY emits has been vetted by a strict internal proof checker. Businesses, both small and large, can issue PONY to their programmers to encourage clean code and allow their employees to focus on large-scale problems rather than irrelevant details.

Bio:
Patrick Thompson graduated with his B.S. in Computer Science

    •