检索结果-内蒙古大学图书馆

2nd ACM SIGPLAN Haskell Symposium

作者： Elliott, Conal LambdaPix

ISBN: (纸本)9781605585086

functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driven sampling, which accommodates FRP's continuous time semantics and fits well with the nature of functional programming. Consequently, values are wastefully recomputed even when inputs don't change, and reaction latency can be as high as the sampling period. This paper presents a way to implement FRP that combines data- and demand-driven evaluation, in which values are recomputed only when necessary, and reactions are nearly instantaneous. The implementation is rooted in a new simple formulation of FRP and its semantics and so is easy to understand and reason about. On the road to a new implementation, we'll meet some old friends (monoids, functors, applicative functors, monads, morphisms, and improving values) and make some new friends (functional future values, reactive normal form, and concurrent "unambiguous choice").

关键词： functional reactive programming semantics concurrency data-driven demand-driven

来源：评论

学校读者我要写书评

暂无评论

TimeFlies: Push-Pull Signal-Function functional reactive programming

TimeFlies: Push-Pull Signal-Function Functional Reactive Pro...

引用

作者： Amsden, Edward Rochester Institute of Technology

学位级别：M.S.

functional reactive programming (FRP) is a promising class of abstractions for interactive programs. FRP systems provide values defined at all points in time (behaviors or signals) and values defined at countably many points in time (events) as abstractions. Signal-function FRP is a subclass of FRP which does not provide direct access to time-varying values to the programmer, but instead provides signal functions, which are reactive transformers of signals and events, as first-class objects in the program. All signal-function implementations of FRP to date have utilized demand-driven or "pull-based" evaluation for both events and signals, producing output from the FRP system whenever the consumer of the output is ready. This greatly simplifies the implementation of signal-function FRP systems, but leads to inefficient and wasteful evaluation of the FRP system when this strategy is employed to evaluate events, because the components of the signal function which process events must be computed whether or not there is an event occurrence. In contrast, an input-driven or "push-based" system evaluates the network whenever new input is available. This frees the system from evaluating the network when nothing has changed, and then only the components necessary to react to the input are re-evaluated. This form of evaluation has been applied to events in standard FRP systems but not in signal-function FRP systems. I describe the design and implementation of a signal-function FRP system which applies pull-based evaluation to signals and push-based evaluation to events (a "push-pull" system). The semantics of the system are discussed, and its performance and expressiveness for practical examples of interactive programs are compared to existing signal-function FRP systems through the implementation of a networking application.

关键词： functional programming functional reactive programming programming languages

来源：评论

学校读者我要写书评

暂无评论

Higher-Order functional reactive programming without Spacetime Leaks

引用

ACM SIGPLAN NOTICES 2013年第9期48卷 221-232页

作者： Krishnaswami, Neelakantan R. Max Planck Inst Software Syst MPI SWS Saarbrucken Germany

functional reactive programming (FRP) is an elegant approach to declaratively specify reactive systems. However, the powerful abstractions of FRP have historically made it difficult to predict and control the resource usage of programs written in this style. In this paper, we give a new language for higher-order reactive programming. Our language generalizes and simplifies prior type systems for reactive programming, by supporting the use of streams of streams, first-class functions, and higher-order operations. We also support many temporal operations beyond streams, such as terminatable streams, events, and even resumptions with first-class schedulers. Furthermore, our language supports an efficient implementation strategy permitting us to eagerly deallocate old values and statically rule out spacetime leaks, a notorious source of inefficiency in reactive programs. Furthermore, these memory guarantees are achieved without the use of a complex substructural type discipline. We also show that our implementation strategy of eager deallocation is safe, by showing the soundness of our type system with a novel step-indexed Kripke logical relation.

关键词： functional reactive programming Kripke logical relations temporal logic guarded recursion dataflow capabilities comonads

来源：评论

学校读者我要写书评

暂无评论

Towards a Common Categorical Semantics for Linear-Time Temporal Logic and functional reactive programming

引用

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2012年 286卷 229-242页

作者： Jeltsch, Wolfgang TTU Kuberneetika Inst Tallinn Estonia

Linear-time temporal logic (LTL) and functional reactive programming (FRP) are related via a Curry-Howard correspondence. Based on this observation, we develop a common categorical semantics for a subset of LTL and its corresponding flavor of FRP. We devise a class of categorical models, called fan categories, that explicitly reflect the notion of time-dependent trueness of temporal propositions and a corresponding notion of time-dependent type inhabitance in FRP. Afterwards, we define the more abstract concept of temporal category by extending categorical models of intuitionistic S4. We show that fan categories are a special form of temporal categories.

关键词： temporal logic modal logic functional reactive programming categorical semantics

来源：评论

学校读者我要写书评

暂无评论

Asynchronous functional reactive programming for GUIs 13

Asynchronous Functional Reactive Programming for GUIs

引用

ACM SIGPLAN Conference on programming Language Design and Implementation

作者： Evan Czaplicki Stephen Chong Harvard University

ISBN: (纸本)9781450320146

Graphical user interfaces (GUIs) mediate many of our interactions with computers. functional reactive programming (FRP) is a promising approach to GUI design, providing high-level, declarative, compositional abstractions to describe user interactions and time-dependent computations. We present Elm, a practical FRP language focused on easy creation of responsive GUIs. Elm has two major features: simple declarative support for Asynchronous FRP; and purely functional graphical layout. Asynchronous FRP allows the programmer to specify when the global ordering of event processing can be violated, and thus enables efficient concurrent execution of FRP programs; long-running computation can be executed asynchronously and not adversely affect the responsiveness of the user interface. Layout in Elm is achieved using a purely functional declarative framework that makes it simple to create and combine text, images, and video into rich multimedia displays. Together, Elm's two major features simplify the complicated task of creating responsive and usable GUIs.

关键词： functional reactive programming Graphical User Interfaces Languages Design graphical user interfaces Language Asynchronous Elm fibre reinforced plastics FRP reactive programming event processing Computer personnel functionalS

来源：评论

学校读者我要写书评

暂无评论

Reactamole: functional reactive molecular programming

引用

NATURAL COMPUTING 2024年第3期23卷 477-495页

作者： Klinge, Titus H. Lathrop, James I. Osera, Peter-Michael Rogers, Allison Iowa State Univ Comp Sci Dept Ames IA 50011 USA Grinnell Coll Comp Sci Dept Grinnell IA 50112 USA

Chemical reaction networks (CRNs) are an important tool for molecular programming. This field is rapidly expanding our ability to deploy computer programs into biological systems for various applications. However, CRNs are also difficult to work with due to their massively parallel nature, leading to the need for higher-level languages that allow for more straightforward computation with CRNs. Recently, research has been conducted into various higher-level languages for deterministic CRNs but modeling CRN parallelism, managing error accumulation, and finding natural CRN representations are ongoing challenges. We introduce Reactamole, a higher-level language for deterministic CRNs that utilizes the functional reactive programming (FRP) paradigm to represent CRNs as a reactive dataflow network. Reactamole equates a CRN with a functional reactive program, implementing the key primitives of the FRP paradigm directly as CRNs. The functional nature of Reactamole makes reasoning about molecular programs easier, and its strong static typing allows us to ensure that a CRN is well-formed by virtue of being well-typed. In this paper, we describe the design of Reactamole and how we use CRNs to represent the common datatypes and operations found in FRP. We demonstrate the potential of this functional reactive approach to molecular programming by giving an extended example where a CRN is constructed using FRP to modulate and demodulate an amplitude-modulated signal. We also show how Reactamole can be used to specify abstract CRNs whose structure depends on the reactions and species of its input, allowing users to specify more general CRN behaviors.

关键词： Molecular programming functional reactive programming Chemical reaction networks General-purpose analog computing Type systems functional programming

来源：评论

学校读者我要写书评

暂无评论

Self-Organisation programming: A functional reactive Macro Approach

Self-Organisation Programming: A Functional Reactive Macro A...

引用

4th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)

作者： Casadei, Roberto Dente, Francesco Aguzzi, Gianluca Pianini, Danilo Viroli, Mirko Alma Mater Studiorum Univ Bologna Dept Comp Sci & Engn Cesena Italy

ISBN: (纸本)9798350337440

Engineering self-organising systems - e.g., robot swarms, collectives of wearables, or distributed infrastructures - has been investigated and addressed through various kinds of approaches: devising algorithms by taking inspiration from nature, relying on design patterns, using learning to synthesise behaviour from expectations of emergent behaviour, and exposing key mechanisms and abstractions at the level of a programming language. Focussing on the latter approach, most of the state-of-the-art languages for self-organisation leverage a round-based execution model, where devices repeatedly evaluate their context and control program fully: this model is simple to reason about but limited in terms of flexibility and fine-grained management of sub-activities. By inspiration from the so-called functional reactive paradigm, in this paper we propose a reactive self-organisation programming approach that enables to fully decouple the program logic from the scheduling of its sub-activities. Specifically, we implement the idea through a functional reactive implementation of aggregate programming in Scala, based on the functional reactive library Sodium. The result is a functional reactive self-organisation programming model, called FRASP, that maintains the same expressiveness and benefits of aggregate programming, while enabling significant improvements in terms of scheduling controllability, flexibility in the sensing/actuation model, and execution efficiency.

关键词： self-organising systems self-organisation programming multi-agent systems emergent behaviour emergence steering functional reactive programming aggregate computing

来源：评论

学校读者我要写书评

暂无评论

A Survey on reactive programming

引用

ACM COMPUTING SURVEYS 2013年第4期45卷 1–34页

作者： Bainomugisha, Engineer Carreton, Andoni Lombide Van Cutsem, Tom Mostinckx, Stijn De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab B-1050 Brussels Belgium

reactive programming has recently gained popularity as a paradigm that is well-suited for developing event-driven and interactive applications. It facilitates the development of such applications by providing abstractions to express time-varying values and automatically managing dependencies between such values. A number of approaches have been recently proposed embedded in various languages such as Haskell, Scheme, JavaScript, Java,. NET, etc. This survey describes and provides a taxonomy of existing reactive programming approaches along six axes: representation of time-varying values, evaluation model, lifting operations, multidirectionality, glitch avoidance, and support for distribution. From this taxonomy, we observe that there are still open challenges in the field of reactive programming. For instance, multidirectionality is supported only by a small number of languages, which do not automatically track dependencies between time-varying values. Similarly, glitch avoidance, which is subtle in reactive programs, cannot be ensured in distributed reactive programs using the current techniques.

关键词： Design Languages reactive programming interactive applications event-driven applications dataflow programming functional reactive programming reactive systems

来源：评论

学校读者我要写书评

暂无评论

Simply RaTT: A Fitch-Style Modal Calculus for reactive programming without Space Leaks

引用

PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2019年第ICFP期3卷 1-27页

作者： Bahr, Patrick Graulund, Christian Uldal Mogelberg, Rasmus Ejlers IT Univ Copenhagen Copenhagen Denmark

functional reactive programming (FRP) is a paradigm for programming with signals and events, allowing the user to describe reactive programs on a high level of abstraction. For this to make sense, an FRP language must ensure that all programs are causal, and can be implemented without introducing space leaks and time leaks. To this end, some FRP languages do not give direct access to signals, but just to signal functions. Recently, modal types have been suggested as an alternative approach to ensuring causality in FRP languages in the synchronous case, giving direct access to the signal and event abstractions. This paper presents Simply RaTT: a new modal calculus for reactive programming. Unlike prior calculi, Simply RaTT uses a Fitch-style approach to modal types, which simplifies the type system and makes programs more concise. Echoing a previous result by Krishnaswami for a different language, we devise an operational semantics that safely executes Simply RaTT programs without space leaks. We also identify a source of time leaks present in other modal FRP languages: The unfolding of fixed points in delayed computations. The Fitch-style presentation allows an easy way to rules out these leaks, which appears not to be possible in the more traditional dual context approach.

关键词： functional reactive programming Modal types Synchronous data flow languages Type systems Garbage collection

来源：评论

学校读者我要写书评

暂无评论

Asynchronous reactive programming with Modal Types in Haskell 26th

Asynchronous Reactive Programming with Modal Types in Haskel...

引用

26th International Symposium on Practical Aspects of Declarative Languages (PADL)

作者： Bahr, Patrick Houlborg, Emil Rordam, Gregers Thomas Skat IT Univ Copenhagen Copenhagen Denmark

ISBN: (纸本)9783031520372;9783031520389

The implementation of asynchronous systems, in particular graphical user interfaces, is traditionally based on an imperative model that uses shared mutable state and callbacks. While efficient, the combination of shared mutable state and callbacks is notoriously difficult to reason about and prone to errors. functional reactive programming (FRP) provides an elegant alternative and recent theoretical advances in modal FRP suggest that it can be efficient as well. In this paper, we present Async Rattus, an FRP language embedded in Haskell. The distinguishing feature of Async Rattus is a modal type constructor that enables the composition of asynchronous subsystems by keeping track of each subsystem's clock at compile time which in turn enables dynamically changing clocks at runtime. The central component of our implementation is a Haskell compiler plugin that, among other aspects, checks the stricter typing rules of Async Rattus and infers compile-time clocks. This is the first implementation of an asynchronous modal FRP language. By embedding the language in Haskell we can exploit the existing language and library ecosystem as well as rapidly experiment with new language features and library design. We hope that such experimentation with Async Rattus sparks further research in modal FRP and its applications.

关键词： functional reactive programming Modal types Space leaks

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：