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

4th IEEE International Conference on Robotic Computing (IEEE IRC)

作者： Pacheco, Hugo Macedo, Nuno Univ Minho Braga Portugal INESC TEC Porto Portugal

ISBN: (纸本)9781728152370

Robotics is very appealing and is long recognized as a great way to teach programming, while drawing inspiring connections to other branches of engineering and science such as maths, physics or electronics. Although this symbiotic relation-ship between robotics and programming is perceived as largely beneficial, educational approaches often feel the need to hide the underlying complexity of the robotic system, but as a result fail to transmit the reactive essence of robot programming to the roboticists and programmers of the future. This paper presents ROSE, a novel language for teaching novice programmers through robotics. Its functional style is both familiar with a high-school algebra background and a materialization of the inherent reactive nature of robotic programming. Working at a higher-level of abstraction also teaches valuable design principles of decomposition of robotics software into collections of interacting controllers. Despite its simplicity, ROSY is completely valid Haskell code compatible with the ROS ecosystem. We make a convincing case for our language by demonstrating how non-trivial applications can be expressed with ease and clarity, exposing its sound functional programming foundations, and developing a web-enabled robot programming environment.

关键词： functional programming functional reactive programming introductory programming robot programming

来源：评论

学校读者我要写书评

暂无评论

Fair reactive programming 14

Fair Reactive Programming

引用

41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of programming Languages (POPL)

作者： Cave, Andrew Ferreira, Francisco Panangaden, Prakash Pientka, Brigitte McGill Univ Sch Comp Sci Montreal PQ Canada

ISBN: (纸本)9781450325448

functional reactive programming (FRP) models reactive systems with events and signals, which have previously been observed to correspond to the "eventually" and "always" modalities of linear temporal logic (LTL). In this paper, we define a constructive variant of LTL with least fixed point and greatest fixed point operators in the spirit of the modal mu-calculus, and give it a proofs-as-programs interpretation as a foundational calculus for reactive programs. Previous work emphasized the propositions-as-types part of the correspondence between LTL and FRP;here we emphasize the proofs-as-programs part by employing structural proof theory. We show that the type system is expressive enough to enforce liveness properties such as the fairness of schedulers and the eventual delivery of results. We illustrate programming in this calculus using (co) iteration operators. We prove type preservation of our operational semantics, which guarantees that our programs are causal. We give also a proof of strong normalization which provides justification that our programs are productive and that they satisfy liveness properties derived from their types.

关键词： temporal logic propositions-as-types functional reactive programming liveness

来源：评论

学校读者我要写书评

暂无评论

Tackling the Awkward Squad for reactive programming: The Actor-Reactor Model 4

Tackling the Awkward Squad for Reactive Programming: The Act...

引用

4th ACM SIGPLAN International Workshop on reactive and Event-Based Languages and Systems (REBLS)

作者： Van den Vonder, Sam De Koster, Joeri Myter, Florian De Meuter, Wolfgang Vrije Univ Brussel Brussels Belgium

ISBN: (纸本)9781450355155

In his famous paper entitled "Tackling the Awkward Squad", Peyton Jones studies how features that traditionally did not fit in the functional programming paradigm can be added to a functional language via careful language design (e.g. using monads), instead of allowing programmers to sprinkle around impure expressions and ad-hoc library calls, thereby turning the entire program into a non-functional program. Similarly, in this paper, we identify a number of code characteristics that do not map onto the reactive programming paradigm but that are present in many real life reactive programs. We propose a novel Actor-Reactor model that can serve as the basis for future language designs that allow a programmer to use the awkward squad without making the reactive parts of the program accidentally non-reactive.

关键词： functional reactive programming actors reactors the actor-reactor model

来源：评论

学校读者我要写书评

暂无评论

C++ reactive programming: Design concurrent and asynchronous applications using the RxCpp library and Modern C++17

引用

2018年

作者： Praseed Pai Peter Abraham

ISBN: (数字)9781788624244

ISBN: (纸本)9781788629775

Learn how to implement the reactive programming paradigm with C++ and build asynchronous and concurrent applications About This Book • Efficiently exploit concurrency and parallelism in your programs • Use the functional reactive programming model to structure programs • Understand reactive GUI programming to make your own applications using Qt Who This Book Is For If you’re a C++ developer interested in using reactive programming to build asynchronous and concurrent applications, you’ll find this book extremely useful. This book doesn’t assume any previous knowledge of reactive programming. What You Will Learn • Understand language-level concurrency in C++ • Explore advanced C++ programming for the FRP • Uncover the RxCpp library and its programming model • Mix the FP and OOP constructs in C++ 17 to write well-structured programs • Master reactive microservices in C++ • Create custom operators for RxCpp • Learn advanced stream processing and error handling In Detail reactive programming is an effective way to build highly responsive applications with an easy-to-maintain code base. This book covers the essential functional reactive concepts that will help you build highly concurrent, event-driven, and asynchronous applications in a simpler and less error-prone way. C++ reactive programming begins with a discussion on how event processing was undertaken by different programming systems earlier. After a brisk introduction to modern C++ (C++17), you’ll be taken through language-level concurrency and the lock-free programming model to set the stage for our foray into the functional programming model. Following this, you’ll be introduced to RxCpp and its programming model. You’ll be able to gain deep insights into the RxCpp library, which facilitates reactive programming. You’ll learn how to deal with reactive programming using Qt/C++ (for the desktop) and C++ microservices for the Web. By the end of the book, you will be well versed with advanced reactive progra

关键词： reactive programming RxCpp reactive C++ C++ reactive Compositional Event Systems functional reactive programming reactive Extensions backpressure error handling core.async message driven event driven

来源：评论

学校读者我要写书评

暂无评论

C++ reactive programming 1

引用

丛书名： []

2018年

作者： Peter Abraham Praseed Pai

ISBN: (数字)9781788624244

ISBN: (纸本)9781788629775

Learn how to implement the reactive programming paradigm with C++ and build asynchronous and concurrent applications Key Features Efficiently exploit concurrency and parallelism in your programs Use the functional reactive programming model to structure programs Understand reactive GUI programming to make your own applications using Qt Book Description reactive programming is an effective way to build highly responsive applications with an easy-to-maintain code base. This book covers the essential functional reactive concepts that will help you build highly concurrent, event-driven, and asynchronous applications in a simpler and less error-prone way. C++ reactive programming begins with a discussion on how event processing was undertaken by different programming systems earlier. After a brisk introduction to modern C++ (C++17), you'll be taken through language-level concurrency and the lock-free programming model to set the stage for our foray into the functional programming model. Following this, you'll be introduced to RxCpp and its programming model. You'll be able to gain deep insights into the RxCpp library, which facilitates reactive programming. You'll learn how to deal with reactive programming using Qt/C++ (for the desktop) and C++ microservices for the Web. By the end of the book, you will be well versed with advanced reactive programming concepts in modern C++ (C++17). What you will learn Understand language-level concurrency in C++ Explore advanced C++ programming for the FRP Uncover the RxCpp library and its programming model Mix the FP and OOP constructs in C++ 17 to write well-structured programs Master reactive microservices in C++ Create custom operators for RxCpp Learn advanced stream processing and error handling Who this book is for If you're a C++ developer interested in using reactive programming to build asynchronous and concurrent applications, you'll find this book extremely useful. This book doesn't assume any previous knowledge of reactive

关键词： reactive programming RxCpp reactive C++ C++ reactive Compositional Event Systems functional reactive programming reactive Extensions backpressure Error Handling core.async message driven event driven

来源：评论

学校读者我要写书评

暂无评论

Diamonds Are Not Forever

引用

PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2021年第POPL期5卷 1–28页

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

When designing languages for functional reactive programming (FRP) the main challenge is to provide the user with a simple, flexible interface for writing programs on a high level of abstraction while ensuring that all programs can be implemented efficiently in a low-level language. To meet this challenge, a new family of modal FRP languages has been proposed, in which variants of Nakano's guarded fixed point operator are used for writing recursive programs guaranteeing properties such as causality and productivity. As an apparent extension to this it has also been suggested to use Linear Temporal Logic (LTL) as a language for reactive programming through the Curry-Howard isomorphism, allowing properties such as termination, liveness and fairness to be encoded in types. However, these two ideas are in conflict with each other, since the fixed point operator introduces non-termination into the inductive types that are supposed to provide termination guarantees. In this paper we show that by regarding the modal time step operator of LTL a submodality of the one used for guarded recursion (rather than equating them), one can obtain a modal type system capable of expressing liveness properties while retaining the power of the guarded fixed point operator. We introduce the language Lively RaTT, a modal FRP language with a guarded fixed point operator and an 'until' type constructor as in LTL, and show how to program with events and fair streams. Using a step-indexed Kripke logical relation we prove operational properties of Lively RaTT including productivity and causality as well as the termination and liveness properties expected of types from LTL. Finally, we prove that the type system of Lively RaTT guarantees the absence of implicit space leaks.

关键词： functional reactive programming Modal Types Linear Temporal Logic Synchronous Data Flow Languages Type Systems

来源：评论

学校读者我要写书评

暂无评论

Asynchronous Modal FRP

引用

PROCEEDINGS OF THE ACM ON programming LANGUAGES-PACMPL 2023年第ICFP期7卷 476–510页

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

Over the past decade, a number of languages for functional reactive programming (FRP) have been suggested, which use modal types to ensure properties like causality, productivity and lack of space leaks. So far, almost all of these languages have included a modal operator for delay on a global clock. For some applications, however, a global clock is unnatural and leads to leaky abstractions as well as inefficient implementations. While modal languages without a global clock have been proposed, no operational properties have been proved about them, yet. This paper proposes Async RaTT, a new modal language for asynchronous FRP, equipped with an operational semantics mapping complete programs to machines that take asynchronous input signals and produce output signals. The main novelty of Async RaTT is a new modality for asynchronous delay, allowing each output channel to be associated at runtime with the set of input channels it depends on, thus causing the machine to only compute new output when necessary. We prove a series of operational properties including causality, productivity and lack of space leaks. We also show that, although the set of input channels associated with an output channel can change during execution, upper bounds on these can be determined statically by the type system.

关键词： functional reactive programming Modal Types Linear Temporal Logic Synchronous Data Flow Languages Type Systems

来源：评论

学校读者我要写书评

暂无评论

Back to the Future: Time Travel in FRP 10

Back to the Future: Time Travel in FRP

引用

10th ACM SIGPLAN Symposium on Haskell (Haskell) co-located with ICFP Conference

作者： Perez, Ivan Univ Nottingham Sch Comp Sci Nottingham England

ISBN: (纸本)9781450351829

functional reactive programming (FRP) allows interactive applications to be modelled in a declarative manner using time-varying values. For practical reasons, however, operational constraints are often imposed, such as having a fixed time domain, time always flowing forward, and limiting the exploration of the past. In this paper we show how these constraints can be overcome, giving local control over the time domain, the direction of time and the sampling step. We study the behaviour of FRP expressions when time flows backwards, and demonstrate how to synchronize subsystems running asynchronously and at different sampling rates. We have verified the practicality of our approach with two non-trivial games in which time control is central to the gameplay.

关键词： functional reactive programming game programming time stream programming monadic streams Haskell

来源：评论

学校读者我要写书评

暂无评论

Demo: The Fun of Robotic Artwork 12

Demo: The Fun of Robotic Artwork

引用

12th ACM SIGPLAN International Workshop on functional Art, Music, Modelling, and Design (FARM)

作者： Schmidli, Eliane Irene Mehta, Farhad OST Univ Appl Sci Eastern Switzerland Rapperswil Switzerland

ISBN: (纸本)9798400710995

Developing software for robot control often is tedious, difficult and error prone. This is more so for people without a computer science background, such as artists. functional reactive programming (FRP) aims to make reactive programs, such as those used for robotics control, more modular, composable, and aesthetically pleasing. We present the results of a collaboration with the art studio Pors & Rao, specializing in robotic artwork. The aim of this collaboration was to explore the use of FRP in this application area to allow artists to express their intentions for robot control in a more effective manner. We demonstrate the artworks that we jointly worked on, as well as our impressions of the acceptance and potential of FRP for artists without a computer science background.

关键词： functional reactive programming Robotics

来源：评论

学校读者我要写书评

暂无评论

Switched-on yampa - Declarative programming of modular synthesizers

Switched-on yampa - Declarative programming of modular synth...

引用

10th International Symposium on Practical Aspects of Declarative Languages

作者： Giorgidze, George Nilsson, Henrik Univ Nottingham Sch Comp Sci Nottingham NG7 2RD England

ISBN: (纸本)9783540774419

In this paper, we present an implementation of a modular synthesizer in Haskell using Yampa. A synthesizer, be it a hardware instrument or a pure software implementation, as here, is said to be modular if it provides sound-generating and sound-shaping components that can be interconnected in arbitrary ways. Yampa, a Haskell-embedded implementation of functional reactive programming, supports flexible, purely declarative construction of hybrid systems. Since music is a hybrid continuous-time and discrete-time phenomenon, Yampa is a good fit for such applications, offering some unique possibilities compared to most languages targeting music or audio applications. Through the presentation of our synthesizer application, we demonstrate this point and provide insight into the Yampa approach to programming reactive, hybrid systems. We develop the synthesizer gradually, starting with fundamental synthesizer components and ending with an application that is capable of rendering a standard MIDI file as audio with respectable performance.

关键词： functional reactive programming synchronous dataflow languages hybrid systems computer music

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：