YoVDO

The Principles of the Flix Programming Language

Offered By: ACM SIGPLAN via YouTube

Tags

Programming Language Design Courses Functional Programming Courses Type System Courses Compiler Design Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Language
Frontend 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