Dr. David J. Pearce


Whiley is a hybrid imperative and functional programming language which has been under development since 2009. Find out more at whiley.org or try it online at whileylabs.com. The complete source code for the compiler and theorem prover is available on GitHub. There is also a Wikipedia page and a dedicated Reddit group.

Related Publication(s)


Related Talk(s)

Functional Reactive Programming in Whiley

Functional Reactive Programming (FRP) is a paradigm which brings functional programming to inherently non-functional environments. FRP has been recently popularised for building web applications through the likes of React, Angular, Elm, etc. In this talk, I'll explore FRP for building web applications and, in particular, examine an FRP framework written in Whiley and how it works.

On the Architecture of a (Verifying) Compiler

This was an invited keynote given at the Sydney Area Programming Languages (SAPLING) Workshop held in Wellington, New Zealand

What does the Future of Programming Look Like?

This talk provides an introduction and demonstration of the Whiley programming language, and was given at Oracle Labs Brisbane in 2017.