Ur/Web: A Simple Model for Programming the Web.
The World Wide Web has evolved gradually from a document delivery platform to an architecture for distributed programming. This largely unplanned evolution is apparent in the set of interconnected languages and protocols that any Web application must manage. This paper presents Ur/Web, a domain-spec...
| Publicado en: | Communications of the ACM Vol. 59; no. 8; pp. 93 - 101 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Aug2016
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=117173600&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 117173600 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Aug2016 vid: 59 iid: 8 pid: 68 pub: Association for Computing Machinery artinfo: ui: 117173600 10.1145/2958736 ppf: 93 ppct: 8 formats: tig: atl: Ur/Web: A Simple Model for Programming the Web. aug: au: Chlipala, Adam affil: MIT CSAIL, Cambridge, MA su: Programming languages Web-based user interfaces Internet standards Internet programming Graphical user interfaces Client/server computing sug: subj: Programming languages Web-based user interfaces Internet standards Internet programming Graphical user interfaces Client/server computing ab: The World Wide Web has evolved gradually from a document delivery platform to an architecture for distributed programming. This largely unplanned evolution is apparent in the set of interconnected languages and protocols that any Web application must manage. This paper presents Ur/Web, a domain-specific, statically typed functional programming language with a much simpler model for programming modern Web applications. Ur/Web's model is unified, where programs in a single programming language are compiled to other "Web standards" languages as needed; supports novel kinds of encapsulation of Web-specific state; and exposes simple concurrency, where programmers can reason about distributed, multithreaded applications via a mix of transactions and cooperative preemption. We give a tutorial introduction to the main features of Ur/Web. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2016 holdings: @attributes: islocal: N |
|---|