A Type System for Data Flow and Alias Analysis in ReScript
Nicky Ask Lund (Department of Computer Science, Aalborg University),, Hans H\"uttel (Department of Computer Science, University of Copenhagen)
TL;DR
This paper introduces a sound type system for data-flow and alias analysis in a subset of ReScript, enhancing understanding of variable usage and aliasing in a strongly typed language targeting JavaScript.
Contribution
It presents a novel local type system that performs data-flow and alias analysis specifically for a lambda-calculus subset of ReScript, which is a new approach in this context.
Findings
The type system accurately captures variable usage at each program point.
It effectively tracks alias information within the analyzed subset.
The approach is sound for the specified language subset.
Abstract
ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a sound type system for data-flow analysis for a subset of the ReScript language, more specifically for a lambda-calculus with mutability and pattern matching. The type system is a local analysis that collects information about variables that are used at each program point as well as alias information.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.