Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Fri 27 Oct 2017 13:30 - 14:00 at Regency B - New Languages Chair(s): Adrian Sampson

We present Infra, a new baseline medium for representing data. With Infra, arbitrarily-complex structured data can be encoded, viewed, edited and processed, all within a parsed paradigm. It is suitable for the full range of information modalities, from free-form input, to compact schema-conforming structures. With its own equivalent of a text editor and text field widget, Infra is designed to target the domain currently dominated by flat character strings while simultaneously enabling the expression of sub-structure, inter-reference, dynamic dependencies, abstraction, computation, and context (metadata).

Existing metaformats fit neatly into two categories. They are either textual for human readability (such as XML and JSON) or binary for compact serialization (such as Thrift and Protocol Buffers). Infra can play the role of either, imbuing each with the desirable properties of the other.

We show how the new level of organization Infra brings to data makes a new non-textual programming paradigm viable. Programs that modify data can now be embedded into the data itself. Furthermore, these programs can often be authored by demonstration. We argue that Infra can be used to improve existing software projects and that bringing direct authoring and human readability to a binary data paradigm could have rippling ramifications on the computing landscape.

Fri 27 Oct

13:30 - 15:00: Onward! Papers - New Languages at Regency B
Chair(s): Adrian SampsonCornell University
onward-2017-Onward-Papers13:30 - 14:00
onward-2017-Onward-Papers14:00 - 14:30
Christoph KirschUniversity of Salzburg
onward-2017-Onward-Papers14:30 - 15:00
Andrew SorensenAustralian National University, Henry GardnerThe Australian National University