SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

We present the design values and design principles of the Flix programming language, a functional-first, imperative, and logic programming language. We explain how these values and principles came into being and how they have influenced the design of Flix over the last several years.

The principles cover most facets of the Flix language and its ecosystem, including its syntax, semantics, static type and effect system, and standard library. We present each principle in detail, including its origin, rationale, and how it has shaped Flix.

We believe that codifying a language's design values and principles can serve as a powerful medium for discussing and comparing programming language designs and we hope our presentation will inspire future language designers to document their languages' design values and principles.

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
Future Programming Languages and Tools (2)Onward! Papers at Seminar Room G100
Chair(s): Jeremy Singer University of Glasgow
13:30
30m
Talk
A Language Based on Two Relations between SymbolsIncludes Demo
Onward! Papers
Agustín Rafael Martínez University of Buenos Aires
DOI Pre-print
14:00
30m
Talk
Exploring Task Equivalence for Software Engineering Practice Adaptation and Replacement
Onward! Papers
Diana Kirk University of Auckland
DOI
14:30
30m
Talk
The Principles of the Flix Programming LanguageVirtual
Onward! Papers
Magnus Madsen Aarhus University
DOI