The Principles of the Flix Programming Language

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationOnward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022
Number of pages16
Place of publicationNew York
PublisherAssociation for Computing Machinery
Publication dateDec 2022
Pages112-127
ISBN (Print)978-1-4503-9909-8
ISBN (Electronic)9781450399098
DOIs
Publication statusPublished - Dec 2022

Keywords

  • Flix
  • design values and principles
  • programming language design

Fingerprint

Dive into the research topics of 'The Principles of the Flix Programming Language'. Together they form a unique fingerprint.

Cite this