Korz: Simple, Symmetric, Subjective, Context-Oriented Programming
Korz is a new computational model that provides for context-oriented programming by combining implicit arguments and multiple dispatch in a slot-based model. This synthesis enables the writing of software that supports contextual variation along multiple dimensions, and graceful evolution of that software to support new, unexpected dimensions of variability, without the need for additional mechanism such as layers or aspects. With Korz, a system consists of a sea of method and data slots in a multidimensional space. There is no fixed organization of slots into objects – a slot pertains to a number of objects instead of being contained by a single object – and slots can come together according to the implicit context in any given situation, yielding subjective objects. There is no dominant decomposition, and no dimension holds sway over any other. IDE support is essential for managing complexity when working with the slot space and with subjectivity, allowing the task at hand to dictate what subspaces to isolate and what dominance of dimensions to use when presenting nested views to the user. We have implemented a prototype interpreter and IDE, and used it on several examples. This early experience has revealed much that needs to be done, but has also shown considerable promise. It seems that Korz’s particular combination of concepts, each well-known from the past, is indeed more powerful than the sum of its parts.
Thu 23 OctDisplayed time zone: Tijuana, Baja California change
15:30 - 17:00 | |||
15:30 22mTalk | Korz: Simple, Symmetric, Subjective,
Context-Oriented Programming Onward! Papers | ||
15:52 22mTalk | Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages Onward! Papers Boris Spasojevic University of Bern, Switzerland, Mircea Lungu University of Bern, Switzerland, Oscar Nierstrasz University of Bern, Switzerland DOI Pre-print | ||
16:15 22mTalk | Description Logic as Programming Language Onward! Papers James Skene Auckland University of Technology | ||
16:37 22mTalk | It's only illegal if you get caught Onward! Papers |