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

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Software Analysis & Testing
Georgia Institute of Technology via Udacity
Go: The Complete Developer's Guide (Golang)
Udemy
Go Bootcamp: Master Golang with 1000+ Exercises and Projects
Udemy
C++ in Detail: Common Idioms
Udemy