Content deleted Content added
m label |
wrote about coherence language and paper |
||
Line 3:
Subtext was created by Jonathan Edwards who submitted a paper on the language to [[OOPSLA]]. It was accepted as part of the 2005 conference.
==Coherence==
'''Coherence''' is an experimental programming language and environment, which uses a new model of change-driven computation called "Coherent reaction", to coordinate the effects and side-effects of programs interactively as they are being developed. The language is specialized for interactive application software, and is being designed by the creator of Subtext, Jonathan Edwards, who reports upon its development by publishing white papers.
{{cquote|Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordination is complex, error-prone, and fragile. Coherent reaction is a new model of change-driven computation that coordinates effects automatically. Automatically coordinating actions lets the programmer express what to do, not when to do it.||[http://dspace.mit.edu/handle/1721.1/45563 Coherent Reaction]|Jonathan Edwards, ''Coherent Reaction'', [[MIT CSAIL]]}}
[[File:je_coherencelogo.gif|150px|thumb|Logo for the Coherence programming language]]
State changes trigger events called reactions, that in turn change other states. A coherent execution order is one in which each reaction executes before any others that are affected by its changes. A coherent order is discovered iteratively by detecting incoherencies as they occur and backtracking their effects. The fundamental building block of Coherence is the dynamically typed mutable tree. The fundamental abstraction mechanism is the virtual tree, whose value is lazily computed, and whose behavior is generated by coherent reactions.<ref>[http://dspace.mit.edu/handle/1721.1/45563 DSpace@MIT : Coherent Reaction], CSAIL Digital Archive, Technical Reports</ref>
==References==
*[http://subtextual.org/OOPSLA04.pdf Example Centric Programming] Jonathan Edwards. In OOPSLA October ’04. Describing IDE improvements using advanced UI techniques to present the results of a program during development, instead of the programmer interpreting the program code mentally. Screenshots from a prototype IDE using [[Eclipse_(software)|Eclipse]] illustrate the techniques with functional examples.
*[http://sdg.csail.mit.edu/pubs/2005/OOPSLA05.pdf Subtext: uncovering the simplicity of programming] Jonathan Edwards. In OOPSLA October ’05: Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications.
*[http://coherence-lang.org/Onward09.pdf Coherent Reaction] Jonathan Edwards. In OOPSLA Onward '09. Documents the beginnings of an experimental programming language loosely based upon Subtext, which uses "Coherent reaction", a new model of change-driven computation to coordinate the effects and side-effects of programs automatically. [http://hdl.handle.net/1721.1/45563 (report)]
;Cited
<references/>
==External links==
;Official
*[http://subtextual.org/ Subtextual.org], *[http://coherence-lang.org/ Coherence], official website of Coherence.
*[http://alarmingdevelopment.org/ Alarming Development], Weblog for Subtext discussion and debate.
;Related
*[http://jamesshore.com/Blog/I-Want-Subtext.html James Shore: I Want Subtext], the benefits of Subtext and improvements to the schematic tables for [[Abstraction_(computer_science)|abstraction]].
*[http://lists.csail.mit.edu/mailman/listinfo/subtext/ Subtext Info Page], Email list with archives, means to subscribe/unsubscribe.
| |||