the proceedings contain 5 papers. the topics discussed include: from equations to distinctions: two interpretations of effectful computations;unifying graded and parameterized monads;combining predicate transformer se...
the proceedings contain 5 papers. the topics discussed include: from equations to distinctions: two interpretations of effectful computations;unifying graded and parameterized monads;combining predicate transformer semantics for effects: a case study in parsing regular languages;multi-dimensional arrays with levels;and efficient lambda encodings for Mendler-style coinductive types in Cedille.
functional reactive programming (FRP) makes it possible to express temporal aspects of computations in a declarative way. Recently we developed two kinds of categorical models of FRP: abstract process categories (APCs...
详细信息
the field of declarative stream programming (discrete time, clocked synchronous, modular, datacentric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm fa...
详细信息
the field of declarative stream programming (discrete time, clocked synchronous, modular, datacentric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics. In this paper, we describe the foundations of a framework for unifying functional and data-flow styles that differs from FRP proper in significant ways: It is based on set theory to match the expectations of domain experts, and the two paradigms are reduced symmetrically to a low-level middle ground, with strongly compositional semantics. the design of the framework is derived from mathematical first principles, in particular coalgebraic coinduction and a standard relational model of stateful computation. the abstract syntax and semantics introduced here constitute the full core of a novel stream programming language.
We propose a programming model where effects are treated in a disciplined way, and where the potential side-effects of a function are apparent in its type signature. the type and effect of expressions can also be infe...
详细信息
Monads are a popular tool for the working functional programmer to structure effectful computations. this paper presents polymonads, a generalization of monads. Polymonads give the familiar monadic bind the more gener...
详细信息
暂无评论