2026-07-21T23:35:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18252 2024-03-06T11:05:20Z ddc:004 open_access

Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact) Madsen, Magnus Starup, Jonathan Lindegaard Lutze, Matthew restrictable variants extensible variants refinement types Boolean unification In this artifact, we provide an implementation of the λ^res_var calculus, as described in the related article. The implementation is an extension of the Flix programming language compiler, supporting restrictable variants and the two partial pattern-matching constructs: choose and choose-⋆. The artifact consists of the extended Flix compiler, a Visual Studio Code extension supporting common IDE features such as syntax highlighting and type hovering, and a collection of Flix files demonstrating the use of restrictable variants. The Flix files correspond to examples presented in the paper. Users are invited to modify the Flix files in order to observe the influence of their changes on the inferred types in the provided programs. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Magnus Madsen and Jonathan Lindegaard Starup and Matthew Lutze 2023 Is Part Of DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.9.2.12 urn:nbn:de:0030-drops-182521 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.12 eng https://creativecommons.org/licenses/by/4.0/legalcode