The Principles of the Flix Programming Language
Offered By: ACM SIGPLAN via YouTube
Course Description
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
Related Courses
Building Your Own Programming LanguageFrontend Masters BeauĀtiful Racket
Independent Rust: A Language for the Next 40 Years
ChariotSolutions via YouTube Move Deliberately and Don't Break Anything: Lessons from Java Evolution
ChariotSolutions via YouTube Flex - Lexical Analysis
Write your own Operating System via YouTube