Overview
Explore the design values and principles of the Flix programming language in this 33-minute ACM SIGPLAN conference talk. Delve into the functional-first, imperative, and logic programming language's evolution, examining how its core principles have shaped its syntax, semantics, static type and effect system, and standard library. Gain insights into the rationale behind each principle and its impact on Flix's development over the years. Learn about abandoned principles and understand the importance of documenting language design values for future programming language designers. Discover how codifying these elements can facilitate meaningful discussions and comparisons in programming language design.
Syllabus
Introduction
What is Flix
Values and Principles
Values
Principles
Syntax
Static Semantics
correctness and safety
compiler messages
Subject last
Principles we had to abandon
Conclusion
Outtakes
Taught by
ACM SIGPLAN