A type system for data flow and alias analysis in ReScript
Nicky Ask Lund, Hans H\"uttel
TL;DR
This paper presents a type system designed for data flow and alias analysis in a subset of ReScript, a strongly typed language targeting JavaScript, focusing on lambda calculus with mutability and pattern matching.
Contribution
It introduces a novel local analysis type system that captures variable usage and aliasing information in ReScript's core language features.
Findings
The type system effectively analyzes data flow and aliasing.
It provides insights into variable usage patterns.
The approach enhances understanding of ReScript's type behavior.
Abstract
ReScript introduces a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a type system for data-flow analysis for a subset of the ReScript language, more specific for a lambda-calculus with mutability and pattern matching. The type system is a local analysis that collects information about what variables are used and 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.
Taxonomy
TopicsScientific Computing and Data Management · Software Engineering Research · Digital and Cyber Forensics