Image Logo BOB conference 2016.

Talk: 16:20-17:05 (English)

Functional Reactive Programming

In 1968, in a presentation that would later become known as the “the mother of all demos”, computer scientist Douglas Engelbart and his team started the personal computer revolution by showcasing the first graphical user interface, which included key innovations such as the mouse, hypertext links, videoconferencing and shared-screen editing.

But building such a groundbreaking system also required building new programming languages. Engelbart’s system was implemented using custom high-level languages that were developed together with the system itself, and the graphical user interface has remained a source for language innovation ever since. For instance, the next milestone in interactive computing, the Xerox Alto system, introduced the first object-oriented language, Smalltalk, in 1973.

Today, programming graphical user interfaces with object-oriented languages has become mainstream, but is still suprisingly complex. I think it is time for a new step in the evolution of programming paradigms. In recent years, the idea of functional reactive programming (FRP) has shown great promise for programming interactive systems in an elegant manner.

In this talk, I will give a short introduction to functional reactive programming (FRP), using the Haskell programming language. First, I will explain the key idea of representing event streams, like mouse clicks, and program state, like the mouse position, in terms of infinite lists and functions – and why this simple idea actually leads to better code. Then, we will look at a practical implementation of this idea and explore several examples using my reactive-banana FRP library and the threepenny-gui library.

We probably won’t have time to cover FRP systems for other languages, like sodium for Java, but I will point out why libraries from the growing “React” family are strictly less capable than a properly designed FRP system: They lack a deterministic “merge” operation.

Heinrich Apfelmus

Heinrich Apfelmus has been programming in Haskell for more than 10 years now, and develops several open source libraries, currently focusing on graphical user interfaces (GUI) and functional reactive programming (FRP). Heinrich has studied mathematics and is now working in theoretical physics. As a student, he has participated in international programming competitions.