SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

This program is tentative and subject to change.

Mon 18 Oct 2021 09:15 - 09:20 at Zurich E - Languages Chair(s): Nicolas Jeannerod, Mark Santolucito

Typing is an eternal subject of discord amongst programming language de- signers and practitioners. On the one hand, dynamic typing is flexible and forgiving, allowing one to focus on the business logic. For rapid prototyping, dynamic typing just doesn’t get in the way. On the other hand, as soon as a piece of software exceeds a particular (not so big) size, the permissive nature of dynamic typing becomes dangerous. In a production code base consisting of many moving parts interacting together, and where failure can have important negative consequences, static typing bring structure, clarity, and eliminate a whole class of bug early.

Until recently, static typing was most popular for compiled general-purpose languages and system programming. Dynamic typing was still dominant for scripting languages and in particular for web-oriented languages. But the functional programming paradigm shift of recent years have now brought static typing to the web. What about the emerging world of configuration languages? In this talk, I’ll try to explain why the question of typing for configuration languages is quite different than for general-purpose languages. We introduce the type and contract system of Nickel, a configuration language we are currently developing at Tweag, that mixes both static typing and dynamic typing. We then have a tour of other configuration languages with similar use cases, to explore the different trade-offs and design choices they made.

I graduated with a Ph.D from IRIF (Université Paris Diderot and CNRS, France) on the translation of effectful computation into Linear Logic. I now work at Tweag I/O on the design and implementation of Nickel, a configuration programming language.

This program is tentative and subject to change.

Mon 18 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
LanguagesCONFLANG at Zurich E
Chair(s): Nicolas Jeannerod IRIF, Université de Paris, Mark Santolucito Barnard College, Columbia University, USA
09:00
5m
Talk
A Language for Configuring Security Policies
CONFLANG
Gilad Bracha g.bracha@f5.com
Media Attached
09:05
5m
Talk
Provenance of Configuration Programming Language muPuppet
CONFLANG
Weili Fu University of Freiburg, Germany, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh, UK
Media Attached
09:10
5m
Talk
The Pitfalls of Ansible’s Variable and Template Expression Semantics
CONFLANG
Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Media Attached
09:15
5m
Talk
Typing in Nickel and elsewhere
CONFLANG
Yann Hamdaoui Tweag I/O
Media Attached
09:20
60m
Live Q&A
Languages: Q&A and discussion
CONFLANG