Rxjs in Action

Total Page:16

File Type:pdf, Size:1020Kb

Rxjs in Action Paul P. Daniels Luis Atencio FOREWORD BY Ben Lesh MANNING www.allitebooks.com RxJS in Action www.allitebooks.com www.allitebooks.com RxJS in Action COVERS RXJS 5 PAUL P. DANIELS LUIS ATENCIO FOREWORD BY BEN LESH MANNING SHELTER ISLAND www.allitebooks.com For online information and ordering of this and other Manning books, please visit www.manning.com. The publisher offers discounts on this book when ordered in quantity. For more information, please contact Special Sales Department Manning Publications Co. 20 Baldwin Road PO Box 761 Shelter Island, NY 11964 Email: [email protected] ©2017 by Manning Publications Co. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by means electronic, mechanical, photocopying, or otherwise, without prior written permission of the publisher. Many of the designations used by manufacturers and sellers to distinguish their products are claimed as trademarks. Where those designations appear in the book, and Manning Publications was aware of a trademark claim, the designations have been printed in initial caps or all caps. Recognizing the importance of preserving what has been written, it is Manning’s policy to have the books we publish printed on acid-free paper, and we exert our best efforts to that end. Recognizing also our responsibility to conserve the resources of our planet, Manning books are printed on paper that is at least 15 percent recycled and processed without the use of elemental chlorine. Manning Publications Co. Development editor: Frances Lefkowitz 20 Baldwin Road Technical development editor: Dean Iverson PO Box 761 Project editor: Janet Vail Shelter Island, NY 11964 Copyeditor: Linda Recktenwald Proofreader: Katie Tennant Technical proofreader: Cody Sand Typesetter: Dottie Marsico Cover designer: Marija Tudor ISBN 9781617293412 Printed in the United States of America 12345678910–EBM–222120191817 www.allitebooks.com brief contents PART 1UNDERSTANDING STREAMS 1 1 ■ Thinking reactively 3 2 ■ Reacting with RxJS 28 3 ■ Core operators 61 4 ■ It’s about time you used RxJS 85 PART 2OBSERVABLES IN PRACTICE 119 5 ■ Applied reactive streams 121 6 ■ Coordinating business processes 151 7 ■ Error handling with RxJS 182 PART 3MASTERING RXJS 209 8 ■ Heating up observables 211 9 ■ Toward testable, reactive programs 245 10 ■ RxJS in the wild 271 v www.allitebooks.com www.allitebooks.com contents foreword xiii preface xv acknowledgments xvii about this book xix about the authors xxiv about the cover xxv PART 1UNDERSTANDING STREAMS.................................1 Thinking reactively 3 1 1.1 Synchronous vs. asynchronous computing 5 Issues with blocking code 5 ■ Non-blocking code with callback functions 6 ■ Understanding time and space 7 Are callbacks out of the picture? 9 ■ Event emitters 11 1.2 Better callbacks with Promises 12 1.3 The need for a different paradigm 14 1.4 The Reactive Extensions for JavaScript 17 Thinking in streams: data flows and propagation 17 Introducing the RxJS project 18 ■ Everything is a stream 19 ■ Abstracting the notion of time from your programs 21 ■ Components of an Rx stream 23 1.5 Reactive and other programming paradigms 26 1.6 Summary 27 vii www.allitebooks.com viii CONTENTS Reacting with RxJS 28 2 2.1 Functional programming as the pillar of reactive programming 29 Functional programming 30 ■ The iterator pattern 38 2.2 Stream’s data-driven approach 41 2.3 Wrapping data sources with Rx.Observable 43 Identifying different sources of data 43 ■ Creating RxJS observables 44 ■ When and where to use RxJS 46 To push or not to push 49 2.4 Consuming data with observers 53 The Observer API 53 ■ Creating bare observables 55 Observable modules 57 2.5 Summary 60 Core operators 61 3 3.1 Evaluating and cancelling streams 62 Downside of eager allocation 62 ■ Lazy allocation and subscribing to observables 64 ■ Disposing of subscriptions: explicit cancellation 65 ■ Cancellation mismatch between RxJS and other APIs 67 3.2 Popular RxJS observable operators 69 Introducing the core operators 70 3.3 Sequencing operator pipelines with aggregates 77 Self-contained pipelines and referential transparency 77 Performance advantages of sequencing with RxJS 80 3.4 Summary 83 It’s about time you used RxJS 85 4 4.1 Why worry about time? 87 4.2 Understanding asynchronous timing with JavaScript 88 Implicit timing 88 ■ Explicit timing 88 ■ The JavaScript timing interfaces 90 4.3 Back to the future with RxJS 94 Propagation 98 ■ Sequential time 99 4.4 Handling user input 101 Debouncing 101 ■ Throttling 108 4.5 Buffering in RxJS 111 4.6 Summary 116 www.allitebooks.com CONTENTS ix PART 2OBSERVABLES IN PRACTICE ............................119 Applied reactive streams 121 5 5.1 One for all, and all for one! 122 Interleave events by merging streams 124 ■ Preserve order of events by concatenating streams 130 ■ Switch to the latest observable data 133 5.2 Unwinding nested observables: the case of mergeMap 135 5.3 Mastering asynchronous streams 141 5.4 Drag and drop with concatMap 146 5.5 Summary 150 Coordinating business processes 151 6 6.1 Hooking into the observable lifecycle 152 Web hooks and the observer pattern 153 Hooked on observables 154 6.2 Joining parallel streams with combineLatest and forkJoin 159 Limitations of using Promises 162 ■ Combining parallel streams 163 ■ More coordination with forkJoin 168 6.3 Building a reactive database 170 Populating a database reactively 172 ■ Writing bulk data 175 ■ Joining related database operations 177 ■ Reactive databases 180 6.4 Summary 181 Error handling with RxJS 182 7 7.1 Common error-handling techniques 183 Error handling with try/catch 183 ■ Delegating errors to callbacks 184 ■ Errors and Promises 186 7.2 Incompatibilities between imperative error-handling techniques and functional and reactive code bases 188 7.3 Understanding the functional error-handling approach 189 7.4 The RxJS way of dealing with failure 193 Errors propagated downstream to observers 193 Catching and reacting to errors 195 ■ Retrying failed www.allitebooks.com x CONTENTS streams for a fixed number of times 197 ■ Reacting to failed retries 199 7.5 Summary 208 PART 3MASTERING RXJS ..........................................209 Heating up observables 211 8 8.1 Introducing hot and cold observables 212 Cold observables 212 ■ Hot observables 215 8.2 A new type of data source: WebSockets 217 A brief look at WebSocket 218 ■ A simple WebSocket server in Node.js 219 ■ WebSocket client 220 8.3 The impact of side effects on a resubscribe or a replay 221 Replay vs. resubscribe 222 ■ Replaying the logic of a stream 222 ■ Resubscribing to a stream 224 8.4 Changing the temperature of an observable 226 Producers as thermometers 227 ■ Making a hot observable cold 228 ■ Making a cold observable hot 230 ■ Creating hot-by-operator streams 232 8.5 Connecting one observable to many observers 237 Publish 237 ■ Publish with replay 240 Publish last 242 8.6 Summary 243 Toward testable, reactive programs 245 9 9.1 Testing is inherently built into functional programs 246 9.2 Testing asynchronous code and promises 250 Testing AJAX requests 250 ■ Working with Promises 253 9.3 Testing reactive streams 255 9.4 Making streams testable 258 9.5 Scheduling values in RxJS 260 9.6 Augmenting virtual reality 263 Playing with marbles 264 ■ Fake it ’til you make it 266 Refactoring your search stream for testability 267 9.7 Summary 270 CONTENTS xi RxJS in the wild 271 10 10.1 Building a basic banking application 273 10.2 Introduction to React and Redux 274 Rendering UI components with React 274 State management with Redux 284 10.3 Redux-ing application state 286 Actions and reducers 286 ■ Redux store 287 10.4 Building a hot RxJS and Redux store adapter 290 10.5 Asynchronous middleware with RxJS Subject 291 RxJS subjects 294 ■ Building epic, reactive middleware 296 10.6 Bringing it all home 302 10.7 Parting words 304 10.8 Summary 304 appendix A Installation of libraries used in this book 305 appendix B Choosing an operator 310 index 315 foreword It’s no secret that the web has grown dramatically in popularity as a platform for build- ing large-scale, high-traffic applications. Modern web applications are somewhat unique in the computing world, however, because they require a great deal of asyn- chrony, ranging from AJAX requests to animations to lazy-loaded client resources and multiplexed web sockets. And all this asynchrony comes with a complexity cost. A simple drag and drop, for example, is actually a coordination of three or more different events: wait for a mouse-down and then listen to all mouse movements until the next mouse-up. Current imperative approaches to implement this sort of thing are not always straightforward; they’re difficult to maintain, and they’re rarely bug free. RxJS is an ideal tool to help you manage asynchronous complexity in your applica- tions in a declarative, easy-to-maintain, and fun way. So how do you learn Rx? This book, RxJS in Action, is to date the only resource of its type to cover the latest version, RxJS 5. As the project lead for RxJS, I’m very happy to see this book reach the masses with important information you need to know about this library in order to be an effective reactive programmer. —Ben Lesh Project lead, RxJS 5 xiii preface We wrote this book to help you understand the power and significance of reactive pro- gramming in JavaScript and develop the skills to put RxJS to work. FROM PAUL: Like many skills, RxJS was not something I had originally set out to learn but instead something I stumbled on and continued in, only because of a confluence of events. Earlier in my programming career, I had been working on a new UI system for an internal tool in which the project owner had given me a large degree of latitude regarding what technologies I employed.
Recommended publications
  • Comparative Studies of Programming Languages; Course Lecture Notes
    Comparative Studies of Programming Languages, COMP6411 Lecture Notes, Revision 1.9 Joey Paquet Serguei A. Mokhov (Eds.) August 5, 2010 arXiv:1007.2123v6 [cs.PL] 4 Aug 2010 2 Preface Lecture notes for the Comparative Studies of Programming Languages course, COMP6411, taught at the Department of Computer Science and Software Engineering, Faculty of Engineering and Computer Science, Concordia University, Montreal, QC, Canada. These notes include a compiled book of primarily related articles from the Wikipedia, the Free Encyclopedia [24], as well as Comparative Programming Languages book [7] and other resources, including our own. The original notes were compiled by Dr. Paquet [14] 3 4 Contents 1 Brief History and Genealogy of Programming Languages 7 1.1 Introduction . 7 1.1.1 Subreferences . 7 1.2 History . 7 1.2.1 Pre-computer era . 7 1.2.2 Subreferences . 8 1.2.3 Early computer era . 8 1.2.4 Subreferences . 8 1.2.5 Modern/Structured programming languages . 9 1.3 References . 19 2 Programming Paradigms 21 2.1 Introduction . 21 2.2 History . 21 2.2.1 Low-level: binary, assembly . 21 2.2.2 Procedural programming . 22 2.2.3 Object-oriented programming . 23 2.2.4 Declarative programming . 27 3 Program Evaluation 33 3.1 Program analysis and translation phases . 33 3.1.1 Front end . 33 3.1.2 Back end . 34 3.2 Compilation vs. interpretation . 34 3.2.1 Compilation . 34 3.2.2 Interpretation . 36 3.2.3 Subreferences . 37 3.3 Type System . 38 3.3.1 Type checking . 38 3.4 Memory management .
    [Show full text]
  • Application and Interpretation
    Programming Languages: Application and Interpretation Shriram Krishnamurthi Brown University Copyright c 2003, Shriram Krishnamurthi This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 United States License. If you create a derivative work, please include the version information below in your attribution. This book is available free-of-cost from the author’s Web site. This version was generated on 2007-04-26. ii Preface The book is the textbook for the programming languages course at Brown University, which is taken pri- marily by third and fourth year undergraduates and beginning graduate (both MS and PhD) students. It seems very accessible to smart second year students too, and indeed those are some of my most successful students. The book has been used at over a dozen other universities as a primary or secondary text. The book’s material is worth one undergraduate course worth of credit. This book is the fruit of a vision for teaching programming languages by integrating the “two cultures” that have evolved in its pedagogy. One culture is based on interpreters, while the other emphasizes a survey of languages. Each approach has significant advantages but also huge drawbacks. The interpreter method writes programs to learn concepts, and has its heart the fundamental belief that by teaching the computer to execute a concept we more thoroughly learn it ourselves. While this reasoning is internally consistent, it fails to recognize that understanding definitions does not imply we understand consequences of those definitions. For instance, the difference between strict and lazy evaluation, or between static and dynamic scope, is only a few lines of interpreter code, but the consequences of these choices is enormous.
    [Show full text]
  • Haskell Communities and Activities Report
    Haskell Communities and Activities Report http://tinyurl.com/haskcar Thirty Fourth Edition — May 2018 Mihai Maruseac (ed.) Chris Allen Christopher Anand Moritz Angermann Francesco Ariis Heinrich Apfelmus Gershom Bazerman Doug Beardsley Jost Berthold Ingo Blechschmidt Sasa Bogicevic Emanuel Borsboom Jan Bracker Jeroen Bransen Joachim Breitner Rudy Braquehais Björn Buckwalter Erik de Castro Lopo Manuel M. T. Chakravarty Eitan Chatav Olaf Chitil Alberto Gómez Corona Nils Dallmeyer Tobias Dammers Kei Davis Dimitri DeFigueiredo Richard Eisenberg Maarten Faddegon Dennis Felsing Olle Fredriksson Phil Freeman Marc Fontaine PÁLI Gábor János Michał J. Gajda Ben Gamari Michael Georgoulopoulos Andrew Gill Mikhail Glushenkov Mark Grebe Gabor Greif Adam Gundry Jennifer Hackett Jurriaan Hage Martin Handley Bastiaan Heeren Sylvain Henry Joey Hess Kei Hibino Guillaume Hoffmann Graham Hutton Nicu Ionita Judah Jacobson Patrik Jansson Wanqiang Jiang Dzianis Kabanau Nikos Karagiannidis Anton Kholomiov Oleg Kiselyov Ivan Krišto Yasuaki Kudo Harendra Kumar Rob Leslie David Lettier Ben Lippmeier Andres Löh Rita Loogen Tim Matthews Simon Michael Andrey Mokhov Dino Morelli Damian Nadales Henrik Nilsson Wisnu Adi Nurcahyo Ulf Norell Ivan Perez Jens Petersen Sibi Prabakaran Bryan Richter Herbert Valerio Riedel Alexey Radkov Vaibhav Sagar Kareem Salah Michael Schröder Christian Höner zu Siederdissen Ben Sima Jeremy Singer Gideon Sireling Erik Sjöström Chris Smith Michael Snoyman David Sorokin Lennart Spitzner Yuriy Syrovetskiy Jonathan Thaler Henk-Jan van Tuyl Tillmann Vogt Michael Walker Li-yao Xia Kazu Yamamoto Yuji Yamamoto Brent Yorgey Christina Zeller Marco Zocca Preface This is the 34th edition of the Haskell Communities and Activities Report. This report has 148 entries, 5 more than in the previous edition.
    [Show full text]
  • Pure Quick Reference
    Pure Quick Reference Albert Graf¨ April 15, 2018 Abstract This is a quick reference guide to the Pure programming language for the impa- tient. It briefly summarizes all important language constructs and gives a few basic examples, so that seasoned programmers can pick up the language at a glance and start hacking away as quickly as possible. Copyright © 2009-2018 Albert Gräf. Permission is granted to copy, distribute and/or modify this docu- ment under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation. See http://www.gnu.org/copyleft/fdl.html. The latest version of this document can be found at https://agraef.github.io/pure-lang/quickref/pure-quickref.pdf. Contents 1 Introduction 3 1.1 Background and Recommended Reading . 3 1.2 Getting Started . 4 2 Lexical Matters 5 3 Expressions 6 3.1 Primary Expressions . 7 3.2 Function Applications . 9 3.3 Operators . 11 3.4 Predefined Operators . 13 3.5 Patterns . 15 3.6 Conditional Expressions . 18 3.7 Block Expressions . 19 3.8 Lexical Scoping . 21 3.9 Comprehensions . 22 3.10 Special Forms . 23 1 4 Definitions 26 4.1 The Global Scope . 26 4.2 Rule Syntax . 27 4.3 Function Definitions . 29 4.4 Variable Definitions . 33 4.5 Constant Definitions . 33 4.6 Type Definitions . 34 4.7 Macro Definitions . 37 5 Programs and Modules 38 5.1 Modules . 38 5.2 Namespaces . 39 5.3 Private Symbols . 42 5.4 Hierarchical Namespaces . 42 6 C Interface 43 7 The Interpreter 45 7.1 Running the Interpreter .
    [Show full text]
  • Functional Programming and the Lambda Calculus
    Functional Programming and the Lambda Calculus Stephen A. Edwards Columbia University Fall 2008 Functional vs. Imperative Imperative programming concerned with “how.” Functional programming concerned with “what.” Based on the mathematics of the lambda calculus (Church as opposed to Turing). “Programming without variables” It is elegant and a difficult setting in which to create subtle bugs. It’s a cult: once you catch the functional bug, you never escape. Referential transparency The main (good) property of functional programming is referential transparency. Every expression denotes a single value. The value cannot be changed by evaluating an expression or by sharing it between different parts of the program. No references to global data; there is no global data. There are no side-effects, unlike in referentially opaque languages. The Lambda Calculus Fancy name for rules about how to represent and evaluate expressions with unnamed functions. Theoretical underpinning of functional languages. Side-effect free. Very different from the Turing model of a store with evolving state. O’Caml: The Lambda Calculus: fun x ­> 2 * x λx . ∗ 2 x English: The function of x that returns the product of two and x Grammar of Lambda Expressions expr → constant | variable-name | expr expr | (expr) | λ variable-name . expr Constants are numbers; variable names are identifiers and operators. Somebody asked, “does a language needs to have a large syntax to be powerful?” Bound and Unbound Variables In λx . ∗ 2 x, x is a bound variable. Think of it as a formal parameter to a function. “∗ 2 x” is the body. The body can be any valid lambda expression, including another unnnamed function.
    [Show full text]
  • Brno University of Technology Just-In-Time
    BRNO UNIVERSITY OF TECHNOLOGY VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ FACULTY OF INFORMATION TECHNOLOGY FAKULTA INFORMAČNÍCH TECHNOLOGIÍ DEPARTMENT OF INTELLIGENT SYSTEMS ÚSTAV INTELIGENTNÍCH SYSTÉMŮ JUST-IN-TIME COMPILATION OF THE DEPENDENTLY-TYPED LAMBDA CALCULUS JUST-IN-TIME PŘEKLAD ZÁVISLE TYPOVANÉHO LAMBDA KALKULU MASTER’S THESIS DIPLOMOVÁ PRÁCE AUTHOR Bc. JAKUB ZÁRYBNICKÝ AUTOR PRÁCE SUPERVISOR Ing. ONDŘEJ LENGÁL, Ph.D. VEDOUCÍ PRÁCE BRNO 2021 Brno University of Technology Faculty of Information Technology Department of Intelligent Systems (DITS) Academic year 2020/2021 Master's Thesis Specification Student: Zárybnický Jakub, Bc. Programme: Information Technology Field of Intelligent Systems study: Title: Just-in-Time Compilation of Dependently-Typed Lambda Calculus Category: Compiler Construction Assignment: 1. Investigate dependent types, simply-typed and dependently-typed lambda calculus, and their evaluation models (push/enter, eval/apply). 2. Get familiar with the Graal virtual machine and the Truffle language implementation framework. 3. Create a parser and an interpreter for a selected language based on dependently-typed lambda calculus. 4. Propose a method of normalization-by-evaluation for dependent types and implement it for the selected language. 5. Create a just-in-time (JIT) compiler for the language using the Truffle API. 6. Compare the runtime characteristics of the interpreter and the JIT compiler, evaluate the results. Recommended literature: https://www.graalvm.org/ Löh, Andres, Conor McBride, and Wouter Swierstra. "A tutorial implementation of a dependently typed lambda calculus." Fundamenta Informaticae 21 (2001): 1001-1031. Marlow, Simon, and Simon Peyton Jones. "Making a fast curry: push/enter vs. eval/apply for higher-order languages." Journal of Functional Programming 16.4-5 (2006): 415-449.
    [Show full text]
  • An Introduction to Probabilistic Programming Arxiv:1809.10756V1
    An Introduction to Probabilistic Programming Jan-Willem van de Meent College of Computer and Information Science Northeastern University [email protected] Brooks Paige Alan Turing Institute University of Cambridge [email protected] Hongseok Yang School of Computing KAIST [email protected] Frank Wood Department of Computer Science University of British Columbia [email protected] arXiv:1809.10756v1 [stat.ML] 27 Sep 2018 Contents Abstract1 Acknowledgements3 1 Introduction8 1.1 Model-based Reasoning . 10 1.2 Probabilistic Programming . 21 1.3 Example Applications . 26 1.4 A First Probabilistic Program . 29 2 A Probabilistic Programming Language Without Recursion 31 2.1 Syntax . 32 2.2 Syntactic Sugar . 37 2.3 Examples . 42 2.4 A Simple Purely Deterministic Language . 48 3 Graph-Based Inference 51 3.1 Compilation to a Graphical Model . 51 3.2 Evaluating the Density . 66 3.3 Gibbs Sampling . 74 3.4 Hamiltonian Monte Carlo . 80 3.5 Compilation to a Factor Graph . 89 3.6 Expectation Propagation . 94 4 Evaluation-Based Inference I 102 4.1 Likelihood Weighting . 105 4.2 Metropolis-Hastings . 116 4.3 Sequential Monte Carlo . 125 4.4 Black Box Variational Inference . 131 5 A Probabilistic Programming Language With Recursion 138 5.1 Syntax . 142 5.2 Syntactic sugar . 143 5.3 Examples . 144 6 Evaluation-Based Inference II 155 6.1 Explicit separation of model and inference code . 156 6.2 Addressing Transformation . 161 6.3 Continuation-Passing-Style Transformation . 165 6.4 Message Interface Implementation . 171 6.5 Likelihood Weighting . 175 6.6 Metropolis-Hastings .
    [Show full text]
  • LEAGER PROGRAMMING Abstract
    LEAGER PROGRAMMING Anthony Chyr UUCS-19-002 School of Computing University of Utah Salt Lake City, UT 84112 USA February 26, 2019 Abstract Leager programming, a portmanteau of “lazy” and “eager” or “limit” and “eager,” is an evaluation strategy that mixes lazy evaluation and eager evaluation. This evaluation strategy allows iterators to precompute the next value in a separate thread, storing the result in a cache until it is needed by the caller. Leager programming often takes the form of an iterator, which alone allows data to be prefetched, and when chained together can be used to form concurrent pipelines. We found a dramatic reduction in latency on par with code written with asynchronous callbacks, while making minimal modifications to the initial sequential code. LEAGER PROGRAMMING by Anthony Chyr A senior thesis submitted to the faculty of The University of Utah in partial fulfillment of the requirements for the degree of Bachelor of Computer Science School of Computing The University of Utah May 2019 Approved: / / Matthew Flatt H. James de St. Germain Supervisor Director of Undergraduate Studies School of Computing / Ross Whitaker Diretor School of Computing Copyright c Anthony Chyr 2019 All Rights Reserved ABSTRACT Leager programming, a portmanteau of “lazy” and “eager” or “limit” and “eager,” is an evaluation strategy that mixes lazy evaluation and eager evaluation. This evaluation strategy allows iterators to precompute the next value in a separate thread, storing the result in a cache until it is needed by the caller. Leager programming often takes the form of an iterator, which alone allows data to be prefetched, and when chained together can be used to form concurrent pipelines.
    [Show full text]
  • A Distributed Execution Engine Supporting Data-Dependent Control flow
    A distributed execution engine supporting data-dependent control flow Derek Gordon Murray University of Cambridge Computer Laboratory King’s College July 2011 This dissertation is submitted for the degree of Doctor of Philosophy Declaration This dissertation is the result of my own work and includes nothing which is the outcome of work done in collaboration except where specifically indicated in the text. This dissertation does not exceed the regulation length of 60,000 words, including tables and footnotes. A distributed execution engine supporting data-dependent control flow Derek G. Murray Summary In computer science, data-dependent control flow is the fundamental concept that enables a machine to change its behaviour on the basis of intermediate results. This ability increases the computational power of a machine, because it enables the machine to execute iterative or recursive algorithms. In such algorithms, the amount of work is unbounded a priori, and must be determined by evaluating a fixpoint condition on successive intermediate results. For example, in the von Neumann architecture—upon which almost all modern computers are based—these algorithms can be programmed using a conditional branch instruction. A distributed execution engine is a system that runs on a network of computers, and provides the illusion of a single, reliable machine that provides a large aggregate amount of compu- tational and I/O performance. Although each individual computer in these systems is a von Neumann machine capable of data-dependent control flow, the effective computational power of a distributed execution engine is determined by the expressiveness of the execution model that describes distributed computations.
    [Show full text]
  • Name Synopsis Options Description
    Pure(1) Pure(1) NAME pure − the Pure interpreter SYNOPSIS pure [options ...] [script ...] [-- args ...] pure [options ...] -x script [args ...] OPTIONS --help, -h Print help message and exit. -i Force interactive mode (read commands from stdin). -Idirectory Add a directory to be searched for included source scripts. -Ldirectory Add a directory to be searched for dynamic libraries. --noediting Do not use readline for command-line editing. --noprelude, -n Do not load the prelude. --norc Do not run the interactive startup files. -q Quiet startup (suppresses sign-on message in interactive mode). -v[level] Set verbosity level. See belowfor details. --version Print version information and exit. -x Execute script with givencommand line arguments. -- Stop option processing and pass the remaining command line arguments in the argv variable. DESCRIPTION Pure is a modern-style functional programming language based on term rewriting. Pure programs are basi- cally collections of equational rules used to evaluate expressions in a symbolic fashion by reducing them to normal form. A brief overviewofthe language can be found in the PURE OVERVIEW section below. (In case you’re wondering, the name ‘‘Pure’’actually refers to the adjective.But you can also write it as ‘‘PURE’’and takethis as a recursive acronym for the ‘‘Pure Universal Rewriting Engine’’.) pure is the Pure interpreter.The interpreter has an LLVM backend which JIT-compiles Pure programs to machine code, hence programs run blazingly fast and interfacing to C modules is easy,while the interpreter still provides a convenient, fully interactive environment for running Pure scripts and evaluating expres- sions. Pure programs (a.k.a.
    [Show full text]
  • Optimising Compilers
    Computer Laboratory Optimising Compilers Computer Science Tripos Part II Timothy Jones Lent 2019 [email protected] http://www.cl.cam.ac.uk/Teaching/1819/OptComp/ Learning Guide The course as lectured proceeds fairly evenly through these notes, with 7 lectures devoted to part A, 5 to part B and 3 or 4 devoted to parts C and D. Part A mainly consists of analy- sis/transformation pairs on flowgraphs whereas part B consists of more sophisticated analyses (typically on representations nearer to source languages) where typically a general framework and an instantiation are given. Part C consists of an introduction to instruction scheduling and part D an introduction to decompilation and reverse engineering. One can see part A as intermediate-code to intermediate-code optimisation, part B as (al- ready typed if necessary) parse-tree to parse-tree optimisation and part C as target-code to target-code optimisation. Part D is concerned with the reverse process. Rough contents of each lecture are: Lecture 1: Introduction, flowgraphs, call graphs, basic blocks, types of analysis Lecture 2: (Transformation) Unreachable-code elimination Lecture 3: (Analysis) Live variable analysis Lecture 4: (Analysis) Available expressions Lecture 5: (Transformation) Uses of LVA Lecture 6: (Continuation) Register allocation by colouring Lecture 7: (Transformation) Uses of Avail; Code motion Lecture 8: Static Single Assignment; Strength reduction Lecture 9: (Framework) Abstract interpretation Lecture 10: (Instance) Strictness analysis Lecture 11: (Framework) Constraint-based analysis; (Instance) Control-flow analysis (for λ-terms) Lecture 12: (Framework) Inference-based program analysis Lecture 13: (Instance) Effect systems Lecture 13a: Points-to and alias analysis Lecture 14: Instruction scheduling Lecture 15: Same continued, slop Lecture 16: Decompilation.
    [Show full text]
  • Julia Language
    Julia Language #julia-lang Table of Contents About 1 Chapter 1: Getting started with Julia Language 2 Versions 2 Examples 2 Hello, World! 2 Chapter 2: @goto and @label 4 Syntax 4 Remarks 4 Examples 4 Input validation 4 Error cleanup 5 Chapter 3: Arithmetic 6 Syntax 6 Examples 6 Quadratic Formula 6 Sieve of Eratosthenes 6 Matrix Arithmetic 7 Sums 7 Products 8 Powers 8 Chapter 4: Arrays 10 Syntax 10 Parameters 10 Examples 10 Manual construction of a simple array 10 Array types 11 Arrays of Arrays - Properties and Construction 12 Initialize an Empty Array 13 Vectors 13 Concatenation 14 Horizontal Concatenation 14 Vertical Concatenation 15 Chapter 5: Closures 17 Syntax 17 Remarks 17 Examples 17 Function Composition 17 Implementing Currying 18 Introduction to Closures 19 Chapter 6: Combinators 21 Remarks 21 Examples 21 The Y or Z Combinator 21 The SKI Combinator System 22 A Direct Translation from Lambda Calculus 22 Showing SKI Combinators 23 Chapter 7: Comparisons 25 Syntax 25 Remarks 25 Examples 25 Chained Comparisons 25 Ordinal Numbers 27 Standard Operators 28 Using ==, ===, and isequal 29 When to use == 29 When to use === 30 When to use isequal 31 Chapter 8: Comprehensions 33 Examples 33 Array comprehension 33 Basic Syntax 33 Conditional Array Comprehension 33 Multidimensional array comprehensions 34 Generator Comprehensions 34 Function Arguments 35 Chapter 9: Conditionals 36 Syntax 36 Remarks 36 Examples 36 if...else expression 36 if...else statement 37 if statement 37 Ternary conditional operator 37 Short-circuit operators: && and ||
    [Show full text]