The Essence of Reactive Programming

A Theoretical Approach

Master thesis (2017)

Authors

Contributors

H.J.M. Meijer (mentor)
Department
Computer Science (EEMCS) (TU Delft)
Copyright: © 2017 Bertoluzzo, E.
More Info
expand_more

Published Date

03-05-2017

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Computer Science

Abstract

What does it mean to be Reactive? The concept of Reactive Programming has gained much traction in the last few years as a paradigm well-suited for the development of asynchronous event-driven applications. Unfortunately, Reactive Programming has been at the center of much discussion, if not confusion, with regards to its definition, properties and identifying principles. In this work we are going to wield the most powerful tool available to software engineers, mathematics, in order to formally derive the reactive types and bring clarity to this much opinionated topic.

Files

Thesis (2).pdf
(pdf | 0.366 Mb)