First Class Copy & Paste
The Subtext project seeks to make programming fundamentally easier by altering the nature of programming languages and tools. This paper defines an operational semantics for an essential subset of the Subtext language. It also presents a fresh approach to the problems of mutable state, I/O, and conc...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/32980 |
| _version_ | 1811081335706484736 |
|---|---|
| author | Edwards, Jonathan |
| author2 | Daniel Jackson |
| author_facet | Daniel Jackson Edwards, Jonathan |
| author_sort | Edwards, Jonathan |
| collection | MIT |
| description | The Subtext project seeks to make programming fundamentally easier by altering the nature of programming languages and tools. This paper defines an operational semantics for an essential subset of the Subtext language. It also presents a fresh approach to the problems of mutable state, I/O, and concurrency.Inclusions reify copy & paste edits into persistent relationships that propagate changes from their source into their destination. Inclusions formulate a programming language in which there is no distinction between a programÂs representation and its execution. Like spreadsheets, programs are live executions within a persistent runtime, and programming is direct manipulation of these executions via a graphical user interface. There is no need to encode programs into source text.Mutation of state is effected by the computation of hypothetical recursive variants of the state, which can then be lifted into new versions of the state. Transactional concurrency is based upon queued single-threaded execution. Speculative execution of queued hypotheticals provides concurrency as a semantically transparent implementation optimization. |
| first_indexed | 2024-09-23T11:45:08Z |
| id | mit-1721.1/32980 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T11:45:08Z |
| publishDate | 2006 |
| record_format | dspace |
| spelling | mit-1721.1/329802019-04-12T08:37:55Z First Class Copy & Paste Edwards, Jonathan Daniel Jackson Software Design prototypes copy and paste modularity reactivity transactions The Subtext project seeks to make programming fundamentally easier by altering the nature of programming languages and tools. This paper defines an operational semantics for an essential subset of the Subtext language. It also presents a fresh approach to the problems of mutable state, I/O, and concurrency.Inclusions reify copy & paste edits into persistent relationships that propagate changes from their source into their destination. Inclusions formulate a programming language in which there is no distinction between a programÂs representation and its execution. Like spreadsheets, programs are live executions within a persistent runtime, and programming is direct manipulation of these executions via a graphical user interface. There is no need to encode programs into source text.Mutation of state is effected by the computation of hypothetical recursive variants of the state, which can then be lifted into new versions of the state. Transactional concurrency is based upon queued single-threaded execution. Speculative execution of queued hypotheticals provides concurrency as a semantically transparent implementation optimization. 2006-05-23T11:16:56Z 2006-05-23T11:16:56Z 2006-05-22 MIT-CSAIL-TR-2006-037 http://hdl.handle.net/1721.1/32980 en_US Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 20 p. 610092 bytes 11137489 bytes application/pdf application/postscript application/pdf application/postscript |
| spellingShingle | prototypes copy and paste modularity reactivity transactions Edwards, Jonathan First Class Copy & Paste |
| title | First Class Copy & Paste |
| title_full | First Class Copy & Paste |
| title_fullStr | First Class Copy & Paste |
| title_full_unstemmed | First Class Copy & Paste |
| title_short | First Class Copy & Paste |
| title_sort | first class copy paste |
| topic | prototypes copy and paste modularity reactivity transactions |
| url | http://hdl.handle.net/1721.1/32980 |
| work_keys_str_mv | AT edwardsjonathan firstclasscopypaste |