DOCSLIB.ORG

Recency Types for Dynamically-Typed, Object-Based Languages Strong Updates for Javascript

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Recency Types for Dynamically-Typed, Object-Based Languages Strong Updates for Javascript Recency Types for Dynamically-Typed, Object-Based Languages Strong Updates for JavaScript Phillip Heidegger Peter Thiemann Universitat¨ Freiburg, Germany {heidegger,thiemann}@informatik.uni-freiburg.de Abstract ent implementations of the browser API by different vendors. Al- Object-based languages with dynamic type systems are popular though the latter problems are equally severe from a practical point because they accelerate the development of short programs. As of view, this paper concentrates on the typing problems. As many larger programs are built with those languages, static analyses other scripting languages (like Python, Ruby, PHP, Lua, Perl, Tcl) become important tools for detecting programming errors. are dynamically typed and object based, any progress in analyzing We define such an analysis as a type system for an imperative JavaScript programs can find fruitful application to the analysis of object-based calculus and prove its type soundness. The calculus properties for other scripting languages as well. models essential features of the JavaScript language, as an example of a typical and widely used dynamically-typed, object-based lan- 1.1 Problems with Typing JavaScript guage. The model includes objects as property maps, type change Weak, dynamic typing means in JavaScript that values are subject during object initialization, and precise support for JavaScript’s to extensive type conversion rules at run time. While each value is prototype mechanism. created at a certain type and keeps the type during its lifetime, a As a more general technical contribution, our work demon- use of the value can convert it implicitly into almost any other type. strates that the idea of recency abstraction can be transferred from Only a few of these conversions are forbidden and yield run-time abstract interpretation to a type system. We model recency infor- errors.2 Of the remaining legal conversions, quite a few are coun- mation with a notion of precise object pointers that enables strong, terintuitive or outright undesirable [27]. Thus, an analysis should type changing updates of object types during a generalized initial- be able to generate warnings for conversions that give unexpected ization phase. The same precise object pointers allow for an ac- results or have unexpected side effects. curate treatment of the prototype mechanism. Unlike linear types, As in many scripting languages, an object in JavaScript is rep- precise object pointers can be nested and mixed arbitrarily with or- resented by a property map that associates a value to a property dinary, imprecise object pointers in the type of a data structure. name. If this value happens to be a function, then the property is a method, otherwise it is a field of the object. Creating an object 1. Introduction amounts to allocating a new, empty property map and running a constructor method on this map. The constructor method enters val- Modern web applications are abundant with dynamic features ues into the property map, thus creating fields and methods of the like animations, pop-down menus, drag-and-drop, and wysiwyg- object. However, the creation of fields and methods is not restricted editors, just to name a few. While there are a number of toolkits at to the constructor, but it may happen at any time during execution. various degrees of abstraction to develop such applications (GWT An entry in a property map does not obey any type discipline. [15], dojo [7], scriptaculous [23], and many more), there is still a The type of the value assigned to a property can change with ev- number of significant applications written directly in JavaScript. ery assignment. Moreover, as long as a property is not yet as- Despite tremendous efforts and progress in IDEs and debug- signed, accessing it returns the value undefined, which is a reg- gers, the development of such native JavaScript applications still ular JavaScript value. This feature makes it very hard for a flow- suffers from numerous problems. One source of these problems insensitive type system to infer a precise type for a JavaScript ob- is the weak, dynamic type system of JavaScript and its prototype- ject: each property is initially undefined, so that the type of a based nature.1 Another host of problems is introduced by differ- property would have to be a union type which always includes an undefined participant. 1 This paper does not address features or problems of the upcoming 4th edi- While such a type system has its merits, its typings yield a very tion (ES4) of the language [9]. Instead, it discusses the JavaScript language crude approximation of the true type of a property. One particular as it is shipped with current browsers, which is roughly in line with the application of such a type system is the test whether the conversion ECMAScript standard [8]. Due to the installed browser base, this language of a field value to some type fails or may give unexpected results. will remain in the focus of web developers for some years to come. The This test raises too many false positives if the type of the property is not sufficiently precise. An essential feature of JavaScript is its prototype mechanism. It implements a delegation mechanism, which simulates some no- tion of single inheritance. Each object has an associated prototype core features of our analysis, in particular the tracking of prototype links, Copyright is held by the author/owner(s). will also be useful for analyzing ES4 programs. FOOL ’09. 24 January 2009, Savannah, Georgia, USA. 2 For example, only a function can be converted to a function and the value ACM. undefined cannot be converted to an object. 1 var proto = { a : ”foo” }; ject has been allocated at the same new expression. If recency 2 function Make () {}; Make.prototype = proto; information is part of a type (an abstraction), then the type (ab- 3 var obj = new Make (); obj.b = ”gnu”; straction) of a recent object can be subject to strong updating. 4 obj.b; // returns ”gnu” • Recency has been discovered and formalized in the context of 5 obj.a; // returns ”foo” abstract interpretation for a first-order imperative language (see Figure 1: Using a prototype in JavaScript. Line 1 creates a new Sec. 2). We show that recency can also be expressed with a object with property a set to "foo" and binds it to variable proto. type system by defining a recency-aware calculus. This calculus Line 2 defines a function Make with no arguments and no body; has objects and first-class functions, thus our work extends the it always returns undefined and sets the prototype property of notion of recency to object-based and higher-order languages. function Make to proto. Line 3 creates a new object using Make as The calculus can be considered a core language of JavaScript. a constructor. Because of Make’s prototype property, the resulting • We prove type soundness for the recency-aware calculus. object obj is internally linked to proto as its prototype object. The remaining lines write and read the b and a properties of obj. Section 2 provides some background information by explaining the ideas underlying recency abstraction. Section 3 informally rephrases recency abstraction in terms of object that is set by the constructor. The prototype object provides a type system and provides motivating examples. The subsequent default values for properties of the original object. If a property is Section 4 contains the formal definitions for the recency-aware not present in the original object, then JavaScript recursively at- calculus (syntax, dynamic semantics, static semantics). tempts to access the property in the prototype object until it hits Next, we establish the metatheory of the recency-aware type an undefined prototype. However, write accesses directly affect the system via a syntactic type soundness proof in Section 5. The tech- original object, not the prototype. niques used are standard but involved because recency-awareness For example, let proto be an object with property a defined to requires a novel way of setting up the operational semantics includ- be "foo" and obj be an object with prototype proto and property 3 ing a non-standard substitution. b set to "gnu", as defined in Fig. 1. Accessing obj.b immediately Section 6 considers extensions, Section 7 discusses related returns the value of the b property whereas obj.a first delegates work, and Section 8 concludes. the property access to the prototype object proto, which has the property a and directly returns its value. 2. Recency Abstraction 1.2 Desiderata for Typing JavaScript Balakrishnan and Reps [3] present an analysis that they call In a dynamically-typed language, each update of a property may “Recency-Abstraction for Heap-Allocated Storage”. Their goal is change the type of the property in the object. A type analysis can to obtain precise abstractions for pointers to objects in executables. keep up with this type change in two ways. Either the analysis is They exploit this information to optimize dynamic dispatch in C++ flow insensitive and assigns a summary type to the property (weak binaries to static function calls where possible. update) or the analysis is flow sensitive and assigns different types Their general framework is abstract interpretation. They start to the property at different points in the program (strong update). off with the standard approach where the analysis associates each The exact choice of summary type can range from a simple top type pointer-typed variable with a set of object creation sites. The ab- to a sophisticated union type. stract interpretation of a property access then yields the least upper The type-based analysis that we are proposing attempts to pro- bound of the abstract values associated with the property at each vide the best of both worlds.
Load more

Recommended publications
  • Practical Javascript™, DOM Scripting, and Ajax Projects
    Practical JavaScript™, DOM Scripting, and Ajax Projects ■■■ Frank W. Zammetti Practical JavaScript™, DOM Scripting, and Ajax Projects Copyright © 2007 by Frank W. Zammetti All rights reserved. No part of this work may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, recording, or by any information storage or retrieval system, without the prior written permission of the copyright owner and the publisher. ISBN-13 (pbk): 978-1-59059-816-0 ISBN-10 (pbk): 1-59059-816-4 Printed and bound in the United States of America 9 8 7 6 5 4 3 2 1 Trademarked names may appear in this book. Rather than use a trademark symbol with every occurrence of a trademarked name, we use the names only in an editorial fashion and to the benefit of the trademark owner, with no intention of infringement of the trademark. Java and all Java-based marks are trademarks or registered trademarks of Sun Microsystems, Inc., in the United States and other countries. Apress, Inc., is not affiliated with Sun Microsystems, Inc., and this book was written without endorsement from Sun Microsystems, Inc. Lead Editor: Matthew Moodie Technical Reviewer: Herman van Rosmalen Editorial Board: Steve Anglin, Ewan Buckingham, Gary Cornell, Jason Gilmore, Jonathan Gennick, Jonathan Hassell, James Huddleston, Chris Mills, Matthew Moodie, Jeff Pepper, Paul Sarknas, Dominic Shakeshaft, Jim Sumser, Matt Wade Project Manager: Tracy Brown Collins Copy Edit Manager: Nicole Flores Copy Editor: Marilyn Smith Assistant Production Director: Kari Brooks-Copony Production Editor: Laura Esterman Compositor: Susan Glinert Proofreaders: Lori Bring and April Eddy Indexer: Broccoli Information Management Cover Designer: Kurt Krames Manufacturing Director: Tom Debolski Distributed to the book trade worldwide by Springer-Verlag New York, Inc., 233 Spring Street, 6th Floor, New York, NY 10013.
    [Show full text]
  • The Role of Standards in Open Source Dr
    Panel 5.2: The role of Standards in Open Source Dr. István Sebestyén Ecma and Open Source Software Development • Ecma is one of the oldest SDOs in ICT standardization (founded in 1961) • Examples for Ecma-OSS Standardization Projects: • 2006-2008 ECMA-376 (fast tracked as ISO/IEC 29500) “Office Open XML File Formats” RAND in Ecma and JTC1, but RF with Microsoft’s “Open Specification Promise” – it worked. Today at least 30+ OSS implementations of the standards – important for feedback in maintenance • 201x-today ECMA-262 (fast tracked as ISO/IEC 16262) “ECMAScript Language Specification” with OSS involvement and input. Since 2018 different solution because of yearly updates of the standard (Too fast for the “fast track”). • 2013 ECMA-404 (fast tracked as ISO/IEC 21778 ) “The JSON Data Interchange Syntax“. Many OSS impl. Rue du Rhône 114 - CH-1204 Geneva - T: +41 22 849 6000 - F: +41 22 849 6001 - www.ecma-international.org 2 Initial Questions by the OSS Workshop Moderators: • Is Open Source development the next stage to be adopted by SDOs? • To what extent a closer collaboration between standards and open source software development could increase efficiency of both? • How can intellectual property regimes - applied by SDOs - influence the ability and motivation of open source communities to cooperate with them? • Should there be a role for policy setting at EU level? What actions of the European Commission could maximize the positive impact of Open Source in the European economy? Rue du Rhône 114 - CH-1204 Geneva - T: +41 22 849 6000 - F: +41 22 849 6001 - www.ecma-international.org 3 Question 1 and Answer: • Is Open Source development the next stage to be adopted by SDOs? • No.
    [Show full text]
  • Appendix a the Ten Commandments for Websites
    Appendix A The Ten Commandments for Websites Welcome to the appendixes! At this stage in your learning, you should have all the basic skills you require to build a high-quality website with insightful consideration given to aspects such as accessibility, search engine optimization, usability, and all the other concepts that web designers and developers think about on a daily basis. Hopefully with all the different elements covered in this book, you now have a solid understanding as to what goes into building a website (much more than code!). The main thing you should take from this book is that you don’t need to be an expert at everything but ensuring that you take the time to notice what’s out there and deciding what will best help your site are among the most important elements of the process. As you leave this book and go on to updating your website over time and perhaps learning new skills, always remember to be brave, take risks (through trial and error), and never feel that things are getting too hard. If you choose to learn skills that were only briefly mentioned in this book, like scripting, or to get involved in using content management systems and web software, go at a pace that you feel comfortable with. With that in mind, let’s go over the 10 most important messages I would personally recommend. After that, I’ll give you some useful resources like important websites for people learning to create for the Internet and handy software. Advice is something many professional designers and developers give out in spades after learning some harsh lessons from what their own bitter experiences.
    [Show full text]
  • Ecma International and “Wearable” Standardization
    Ecma/GA/2016/099 Ecma International and “Wearable” Standardization - Dr. István Sebestyén Secretary General Ecma International Rue du Rhône 114- CH-1204 Geneva - T: +41 22 849 6000 - F: +41 22 849 6001 - www.ecma-international.org Outline • How EPFL and Ecma International teamed up for “Wearables2016”? • Briefly about Ecma International (“Standards at Internet Speed”) • Ecma - How to get involved in “Wearables” Standardization? • Summary and conclusion Rue du Rhône 114 - CH-1204 Geneva - T: +41 22 849 6000 - F: +41 22 849 6001 - www.ecma-international.org 2 Teaming up of two partners • EPFL stands for • Categories of education and standards research (incl. 1. Development first, standardization) standard follows • Ecma 2. Research and standards in parallel International stands for ICT 3. Development and standards in parallel standardization “Wearables” (IoT) standards require all 3 Who are we? Ecma International is a not-for-profit association under Swiss Law/Geneva, established in 1961 by major multinational computer hardware manufacturers present at that time in Europe. Originally “ECMA” stood for “European Computer Manufacturers’ Association”. In 1994 the “brand name” was kept, but the name changed to simply “Ecma”: “International” was added because membership has changed to global Broad scope of standardisation topics including hardware, software, communications, consumer electronics, media, storage, environmental subjects, etc… Track record: 521 ECMA standards / TRs: Ecma publications are free of charge and can be freely downloaded from the Ecma website www.ecma-international.org Many of them were submitted to fast-track to ISO/IEC JTC1 (e.g. 191 lately between 2000-2016), and many (67) joint standards also with ETSI.
    [Show full text]
  • Factors Determining the Optimal Architecture of a Manufacturing Execution System Utilised in Automated Production
    Factors determining the optimal architecture of a manufacturing execution system utilised in automated production. By David Lee, BSc (Honours) Waterford Institute of Technology INSTITIÚID TEICNEOLAÍOCHTA PHORT LÁIRGE A Thesis Submitted in Fulfilment of the Requirements for the Degree of Master of Science Research Supervisor Research Supervisor Dr. Noreen Quinn-Whelton Michael McCarthy Submitted to Waterford Institute of Technology March 2013 David Lee MSc. Thesis Waterford Institute of Technology INSTITIÚID TEICNEOLAÍOCHTA PHORT LÁIRGE Declaration: I declare that the writing of this thesis and the research contained within is my own work. Any assistance received has been acknowledged where appropriate. Signed: David Lee Date: Page 2 of 232 David Lee MSc. Thesis Abstract Information Technology driven manufacturing has progressively evolved since the first introduction of computer systems. As the needs of industry become more demanding, the software used to drive manufacturing must continually advance. In order to remain competitive, businesses need to keep their costs of production down, maintain high product quality and also drive maximum efficiencies. Only through automated manufacturing processes, are businesses able to achieve these goals. High levels of automation require the implementation of sophisticated Manufacturing Execution Systems (MES). This research investigates the optimal design elements for MES, with particular focus on the potential for a web based architecture. Product comparisons, technological investigations and surveys were employed to elucidate MES design and potential areas of enhancement. It was found that while a web based MES could out-perform the traditional client-server model on various aspects, there are too many security concerns to be viable as a cloud hosted application.
    [Show full text]
  • Tomato: a Trustworthy Code Mashup Development Tool
    University of Pennsylvania ScholarlyCommons Departmental Papers (CIS) Department of Computer & Information Science 2011 ToMaTo: A Trustworthy Code Mashup Development Tool Jian Chang University of Pennsylvania, [email protected] Krishna Venkatasubramanian University of Pennsylvania, [email protected] Andrew G. West University of Pennsylvania, [email protected] Sampath Kannan University of Pennsylvania, [email protected] Oleg Sokolsky University of Pennsylvania, [email protected] See next page for additional authors Follow this and additional works at: https://repository.upenn.edu/cis_papers Recommended Citation Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, and Insup Lee, "ToMaTo: A Trustworthy Code Mashup Development Tool", 5th International Workshop on Web APIs and Service Mashups (Mashups '11) . January 2011. http://dx.doi.org/10.1145/ 2076006.2076012 5th International Workshop on Web APIs and Service Mashups (Mashups '11), September 14, 2011, Lugano, Switzerland. This paper is posted at ScholarlyCommons. https://repository.upenn.edu/cis_papers/471 For more information, please contact [email protected]. ToMaTo: A Trustworthy Code Mashup Development Tool Abstract Recent years have seen the emergence of a new programming paradigm for Web applications that emphasizes the reuse of external content, the mashup. Although the mashup paradigm enables the creation of innovative Web applications with emergent features, its openness introduces trust problems. These trust issues are particularly prominent in JavaScript code mashup - a type of mashup that integrated external Javascript libraries to achieve function and software reuse. With JavaScript code mashup, external libraries are usually given full privileges to manipulate data of the mashup application and executing arbitrary code.
    [Show full text]
  • Hardware / Software Trends and Programming (In Chapter 1)
    Internet & World Wide Web: How to Program by Deitel and Deitel Hardware / Software Trends and Programming (in Chapter 1) 1/19/2011 1 OBJECTIVES . In this chapter you will learn about: – basic computing concepts. – the different types of programming languages. – the evolution of the Internet and the World Wide Web. – what Web 2.0 is and why it’s having such an impact among Internet-based and traditional businesses. – what Rich Internet Applications (RIAs) are and the key software technologies used to build RIAs. 2 Chapter 1 Sections . 1.8 Personal, Distributed and Client/Server Computing . 1.9 Hardware Trends . 1.10 Key Software Trend: Object Technology . 1.11 JavaScript: Object-Based Scripting for the Web . 1.12 Browser Portability . 1131.13 C, C++ and Java . 1.14 BASIC, Visual Basic, Visual C++, C# and .NET . 1.15 Software Technologies . 1.16 Notes about Internet & World Wide Web How to Program, 4/e . 1.17 Web Resources 3 1 Personal, Distributed and Client/Server Computing . Personal Computing – 1977 Apple Computer popularized personal computing – computers became economical for personal or desktop business use – 1981 IBM PC . Distributed Comppguting – workstations could be linked together in computer networks (late 1980s) – Local area networks (LANs) . Client/Server Computing – servers offer data storage and other capabilities that may be used by client computers distributed throughout the network, – popular operating systems for C/S • UNIX, Linux, Mac OS X and Microsoft’s Windows 4 Hardware Trends . Cost of products and services – consistently dropping over the decades . Computer capacity and speed – doubles every two years (on average) » Moore’s Law .
    [Show full text]
  • Comparing Javascript Libraries
    www.XenCraft.com Comparing JavaScript Libraries Craig Cummings, Tex Texin October 27, 2015 Abstract Which JavaScript library is best for international deployment? This session presents the results of several years of investigation of features of JavaScript libraries and their suitability for international markets. We will show how the libraries were evaluated and compare the results for ECMA, Dojo, jQuery Globalize, Closure, iLib, ibm-js and intl.js. The results may surprise you and will be useful to anyone designing new international or multilingual JavaScript applications or supporting existing ones. 2 Agenda • Background • Evaluation Criteria • Libraries • Results • Q&A 3 Origins • Project to extend globalization - Complex e-Commerce Software - Multiple subsystems - Different development teams - Different libraries already in use • Should we standardize? Which one? - Reduce maintenance - Increase competence 4 Evaluation Criteria • Support for target and future markets • Number of internationalization features • Quality of internationalization features • Maintained? • Widely used? • Ease of migration from existing libraries • Browser compatibility 5 Internationalization Feature Requirements • Encoding Support • Text Support -Unicode -Case, Accent Mapping -Supplementary Chars -Boundary detection -Bidi algorithm, shaping -Character Properties -Transliteration -Charset detection • Message Formatting -Conversion -IDN/IRI -Resource/properties files -Normalization -Collation -Plurals, Gender, et al 6 Internationalization Feature Requirements
    [Show full text]
  • Building Maintainable Web Applications Using React – an Evaluation of Architectural Patterns Conducted on Canvas LMS
    Linköping University | Department of Computer and Information Science Master’s thesis, 30 ECTS | Datateknik 2020 | LIU-IDA/LITH-EX-A--20/004--SE Building maintainable web applications using React – An evaluation of architectural patterns conducted on Canvas LMS David Johansson Supervisor : Jonas Wallgren Examiner : Peter Fritzson Linköpings universitet SE–581 83 Linköping +46 13 28 10 00 , www.liu.se Upphovsrätt Detta dokument hålls tillgängligt på Internet - eller dess framtida ersättare - under 25 år från publicer- ingsdatum under förutsättning att inga extraordinära omständigheter uppstår. Tillgång till dokumentet innebär tillstånd för var och en att läsa, ladda ner, skriva ut enstaka ko- pior för enskilt bruk och att använda det oförändrat för ickekommersiell forskning och för undervis- ning. Överföring av upphovsrätten vid en senare tidpunkt kan inte upphäva detta tillstånd. All annan användning av dokumentet kräver upphovsmannens medgivande. För att garantera äktheten, säker- heten och tillgängligheten finns lösningar av teknisk och administrativ art. Upphovsmannens ideella rätt innefattar rätt att bli nämnd som upphovsman i den omfattning som god sed kräver vid användning av dokumentet på ovan beskrivna sätt samt skydd mot att dokumentet ändras eller presenteras i sådan form eller i sådant sammanhang som är kränkande för upphovsman- nens litterära eller konstnärliga anseende eller egenart. För ytterligare information om Linköping University Electronic Press se förlagets hemsida http://www.ep.liu.se/. Copyright The publishers will keep this document online on the Internet - or its possible replacement - for a period of 25 years starting from the date of publication barring exceptional circumstances. The online availability of the document implies permanent permission for anyone to read, to down- load, or to print out single copies for his/hers own use and to use it unchanged for non-commercial research and educational purpose.
    [Show full text]
  • Test-Driven Javascript Development Developer’S Library Series
    Test-Driven JavaScript Development Developer’s Library Series Visit developers-library.com for a complete list of available products he Developer’s Library Series from Addison-Wesley provides Tpracticing programmers with unique, high-quality references and tutorials on the latest programming languages and technologies they use in their daily work. All books in the Developer’s Library are written by expert technology practitioners who are exceptionally skilled at organizing and presenting information in a way that’s useful for other programmers. Developer’s Library books cover a wide range of topics, from open- source programming languages and databases, Linux programming, Microsoft, and Java, to Web development, social networking platforms, Mac/iPhone programming, and Android programming. Test-Driven JavaScript Development Christian Johansen Upper Saddle River, NJ • Boston • Indianapolis • San Francisco New York • Toronto • Montreal • London • Munich • Paris • Madrid Capetown • Sydney • Tokyo • Singapore • Mexico City Many of the designations used by manufacturers and sellers to distinguish their products are Acquisitions Editor claimed as trademarks. Where those designations appear in this book, and the publisher was Trina MacDonald aware of a trademark claim, the designations have been printed with initial capital letters or Development Editor in all capitals. Songlin Qiu The author and publisher have taken care in the preparation of this book, but make no Managing Editor expressed or implied warranty of any kind and assume no responsibility
    [Show full text]
  • Introduction
    Introduction In This Chapter ■ 0.1 Ajax, the Acronym 2 ■ 0.2 This Book’s Intentions 5 ■ 0.3 Prerequisites for This Book 8 1 s the centerpiece of rich web application development, Ajax brings web A interfaces using XHTML and CSS up to desktop application interface standards without the interfaces having to rely on plugins such as Flash or Java. Prior to JavaScript-based server interactions, interfaces had to rely solely on full- page loading, regardless of how one might have hacked a page into appearing otherwise. Until Ajax development came along (which, incidentally, started in imple- mentation many years before the coining of the term itself), client-side development also had no thread support. Threading, in a nutshell, allows the spawning of new lines of logic, completely independent of those before, adjacent to, or after it. C, Java, Perl, and many other languages have had this support for many years (in some cases) before client-side scripting came along in any fashionable sense. The closest JavaScript had to offer came in the form of the setTimeout and setInterval library functions, which required delayed, seemingly parallel execution rather than the actual spawning of processes. While Ajax still does not provide true threading, it does bring JavaScript one step closer. 0.1 Ajax, the Acronym The words Asynchronous Javascript And XML make the acronym Ajax. In order to fully understand Ajax in meaning and implementation, you must understand each of its components. Even when using synchronous requests, or using JSON or some other transportation method, knowing the core aspects of Ajax can only help development practices.
    [Show full text]
  • The Past, Present, and Future of Javascript Where We’Ve Been, Where We Are, and What Lies Ahead
    The Past, Present, and Future of JavaScript Where We’ve Been, Where We Are, and What Lies Ahead Dr. Axel Rauschmayer The Past, Present, and Future of JavaScript Axel Rauschmayer Beijing • Cambridge • Farnham • Köln • Sebastopol • Tokyo The Past, Present, and Future of JavaScript by Axel Rauschmayer Copyright © 2012 Axel Rauschmayer. All rights reserved. Printed in the United States of America. Published by O’Reilly Media, Inc., 1005 Gravenstein Highway North, Sebastopol, CA 95472. O’Reilly books may be purchased for educational, business, or sales promotional use. Online editions are also available for most titles (http://my.safaribooksonline.com). For more information, contact our corporate/institutional sales department: 800-998-9938 or [email protected]. Editor: Mac Slocum Cover Designer: Karen Montgomery Production Editor: Melanie Yarbrough Interior Designer: David Futato Illustrator: Robert Romano Revision History for the First Edition: 2012-07-20 First release See http://oreilly.com/catalog/errata.csp?isbn=9781449339968 for release details. Nutshell Handbook, the Nutshell Handbook logo, and the O’Reilly logo are registered trademarks of O’Reilly Media, Inc. The Past, Present, and Future of JavaScript and related trade dress are trademarks of O’Reilly Media, Inc. Many of the designations used by manufacturers and sellers to distinguish their products are claimed as trademarks. Where those designations appear in this book, and O’Reilly Media, Inc., was aware of a trademark claim, the designations have been printed in caps or initial caps. While every precaution has been taken in the preparation of this book, the publisher and authors assume no responsibility for errors or omissions, or for damages resulting from the use of the information con- tained herein.
    [Show full text]