Toward a Typed Intermediate Language for R (Extended Abstract)

Laurent, Mickaël; Hain, Jakob; Krikava, Filip; Krynski, Sebastián; Vitek, Jan

doi:10.4230/OASIcs.Programming.2025.24

Abstract

Compilers for dynamic languages often rely on intermediate representations with explicit type annotations to facilitate writing program transformations. This paper documents the design of a new typed intermediate representation for a just-in-time compiler for the R programming language called FIŘ. Type annotations, in FIŘ, capture properties such as sharing, the potential for effects, and compiler speculations. In this extended abstract, we focus on the sharing properties that may be used to optimize away some copies of values.

Cite As Get BibTex

Mickaël Laurent, Jakob Hain, Filip Krikava, Sebastián Krynski, and Jan Vitek. Toward a Typed Intermediate Language for R (Extended Abstract). In Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025). Open Access Series in Informatics (OASIcs), Volume 134, pp. 24:1-24:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/OASIcs.Programming.2025.24

Author Details

Mickaël Laurent

Charles University, Prague, Czech Republic

Jakob Hain

Purdue University, West Lafayette, IN, USA

Filip Krikava

Czech Technical University, Prague, Czech Republic

Sebastián Krynski

Czech Technical University, Prague, Czech Republic

Jan Vitek

Northeastern University, Boston, MA, USA

Funding

This work was supported by the Czech Ministry of Education, Youth and Sports under program ERC-CZ, grant agreement LL2325, as well as by the Czech Science Foundation Grant No. 23-07580X.

Acknowledgements

We would like to thank the reviewers and organizers of the VIMPL workshop.

References

Olivier Flückiger, Guido Chair, Ming-Ho Yee, Jan Jecmen, Jakob Hain, and Jan Vitek. Contextual dispatch for function specialization. Proc. ACM Program. Lang., 4(OOPSLA), 2020. URL: https://doi.org/10.1145/3428288.
Olivier Flückiger, Guido Chari, Jan Jecmen, Ming-Ho Yee, Jakob Hain, and Jan Vitek. R melts brains: an IR for first-class environments and lazy effectful arguments. In International Symposium on Dynamic Languages (DLS), 2019. URL: https://doi.org/10.1145/3359619.3359744.
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida. Featherweight go. ACM Trans. Program. Lang. Syst., 2020. URL: https://doi.org/10.1145/3428217.
Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight java: a minimal core calculus for java and gj. ACM Trans. Program. Lang. Syst., 2001. URL: https://doi.org/10.1145/503502.503505.
Ralf Jung. Understanding and evolving the Rust programming language. Doctoral Thesis, Saarländische Universitäts- und Landesbibliothek, 2020. Accepted: 2020-09-09T07:57:28Z. URL: https://doi.org/10.22028/D291-31946.
Niko Matsakis. Introducing MIR, April 2016. URL: https://blog.rust-lang.org/2016/04/19/MIR/.
Aaron Weiss, Olek Gierczak, Daniel Patterson, and Amal Ahmed. Oxide: The Essence of Rust, October 2021. arXiv:1903.00982 [cs]. URL: https://doi.org/10.48550/arXiv.1903.00982.

Toward a Typed Intermediate Language for R (Extended Abstract)

Authors Mickaël Laurent , Jakob Hain , Filip Krikava , Sebastián Krynski , Jan Vitek

Files

Document Identifiers

Subject Classification

ACM Subject Classification

Keywords

Metrics

Abstract

Cite As Get BibTex

Author Details

Acknowledgements

References

Thanks for your feedback!

Could not send message