Functional reactive programming, refactored

PerezIvan,; BärenzManuel,; NilssonHenrik,

doi:10.1145/3241625.2976010

Cited by 8 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Perez, Bärenz and Nilsson [23] used them to give a mathematically coherent and practical implementation of Functional Reactive Programming. Thus, aside from the theoretical interest in the foundations of mathematics and computer science, the study of monadic stream functions has important applications.…”

Section: Related and Future Workmentioning

confidence: 99%

See 1 more Smart Citation

The continuity of monadic stream functions

Capretta

Fowler

2017

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

View full text Add to dashboard Cite

Abstract-Brouwer's continuity principle states that all functions from infinite sequences of naturals to naturals are continuous, that is, for every sequence the result depends only on a finite initial segment. It is an intuitionistic axiom that is incompatible with classical mathematics. Recently Martín Escardó proved that it is also inconsistent in type theory. We propose a reformulation of the continuity principle that may be more faithful to the original meaning by Brouwer. It applies to monadic streams, potentially unending sequences of values produced by steps triggered by a monadic action, possibly involving side effects. We consider functions on them that are uniform, in the sense that they operate in the same way independently of the particular monad that provides the specific side effects. Formally this is done by requiring a form of naturality in the monad. Functions on monadic streams have not only a foundational importance, but have also practical applications in signal processing and reactive programming. We give algorithms to determine the modulus of continuity of monadic stream functions and to generate dialogue trees for them (trees whose nodes and branches describe the interaction of the process with the environment).

show abstract

Section: Related and Future Workmentioning

confidence: 99%

“…Already the work of Perez, Bärenz and Nilsson [23] shows that programming with monadic streams is very effective to create functional interactive applications. A complete understanding of the computation power and logical properties of these functions will be useful in practice.…”

Section: Related and Future Workmentioning

confidence: 99%

The continuity of monadic stream functions

Capretta

Fowler

2017

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

View full text Add to dashboard Cite

show abstract

Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications

Sarkar

Sheeran

2020

Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

With the growing ubiquity of Internet of Things (IoT), more complex logic is being programmed on resource-constrained IoT devices, almost exclusively using the C programming language. While C provides low-level control over memory, it lacks a number of highlevel programming abstractions such as higher-order functions, polymorphism, strong static typing, memory safety, and automatic memory management. We present Hailstorm, a statically-typed, purely functional programming language that attempts to address the above problem. It is a high-level programming language with a strict typing discipline. It supports features like higher-order functions, tail-recursion, and automatic memory management, to program IoT devices in a declarative manner. Applications running on these devices tend to be heavily dominated by I/O. Hailstorm tracks side effects like I/O in its type system using resource types. This choice allowed us to explore the design of a purely functional standalone language, in an area where it is more common to embed a functional core in an imperative shell. The language borrows the combinators of arrowized FRP, but has discrete-time semantics. The design of the full set of combinators is work in progress, driven by examples. So far, we have evaluated Hailstorm by writing standard examples from the literature (earthquake detection, a railway crossing system and various other clocked systems), and also running examples on the GRiSP embedded systems board, through generation of Erlang. CCS CONCEPTS • Software and its engineering → Compilers; Domain specific languages; • Computer systems organization → Sensors and actuators; Embedded software.

show abstract

The essence of live coding: change the program, keep the state!

Bärenz¹

2020

Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems

View full text Add to dashboard Cite

Functional reactive programming, refactored

Cited by 8 publications

References 23 publications

The continuity of monadic stream functions

The continuity of monadic stream functions

Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications

The essence of live coding: change the program, keep the state!

Contact Info

Product

Resources

About