View Types in Rust

Sasha Pak; Richard Willie; Umang Mathur; Fabian Muehlboeck; Alex Potanin

doi:10.1145/3758316.3765481

View Types in Rust

Sasha Pak
, Richard Willie
, Umang Mathur
, Fabian Muehlboeck
, Alex Potanin

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

Abstract

Rust’s ownership-based type system ensures safety but often rejects intuitive and safe code, leading to workarounds. View types are a promising language extension aiming to increase flexibility and expressiveness in function calls. We outline the motivation, challenges, and research directions for integrating view types into Rust.

Original language	English
Title of host publication	Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Pages	48–49
Number of pages	2
ISBN (Print)	9798400721410
DOIs	https://doi.org/10.1145/3758316.3765481
Publication status	Published - 2025
Event	SPLASH Companion '25: Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity - Singapore, Singapore Duration: 12 Oct 2025 → 18 Oct 2025 https://dl.acm.org/doi/proceedings/10.1145/3758316

Publication series

Name	SPLASH Companion '25
Publisher	Association for Computing Machinery

Conference

Conference	SPLASH Companion '25
Country/Territory	Singapore
City	Singapore
Period	12/10/25 → 18/10/25
Internet address	https://dl.acm.org/doi/proceedings/10.1145/3758316

Access to Document

10.1145/3758316.3765481

https://doi.org/10.1145/3758316.3765481

Cite this

@inproceedings{bd58a53a28284f4cbacff120f441f4b6,

title = "View Types in Rust",

abstract = "Rust{\textquoteright}s ownership-based type system ensures safety but often rejects intuitive and safe code, leading to workarounds. View types are a promising language extension aiming to increase flexibility and expressiveness in function calls. We outline the motivation, challenges, and research directions for integrating view types into Rust.",

keywords = "Borrow Checker, Ownership, Partial Borrows, Rust, View Types",

author = "Sasha Pak and Richard Willie and Umang Mathur and Fabian Muehlboeck and Alex Potanin",

year = "2025",

doi = "10.1145/3758316.3765481",

language = "English",

isbn = "9798400721410",

series = "SPLASH Companion '25",

publisher = "Association for Computing Machinery (ACM)",

pages = "48–49",

booktitle = "Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity",

address = "United States",

note = "SPLASH Companion '25 : Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ; Conference date: 12-10-2025 Through 18-10-2025",

url = "https://dl.acm.org/doi/proceedings/10.1145/3758316",

}

Pak, S, Willie, R, Mathur, U, Muehlboeck, F & Potanin, A 2025, View Types in Rust. in Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH Companion '25, Association for Computing Machinery (ACM), New York, NY, USA, pp. 48–49, SPLASH Companion '25, Singapore, Singapore, 12/10/25. https://doi.org/10.1145/3758316.3765481

View Types in Rust. / Pak, Sasha; Willie, Richard; Mathur, Umang et al.
Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: Association for Computing Machinery (ACM), 2025. p. 48–49 (SPLASH Companion '25).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

TY - GEN

T1 - View Types in Rust

AU - Pak, Sasha

AU - Willie, Richard

AU - Mathur, Umang

AU - Muehlboeck, Fabian

AU - Potanin, Alex

PY - 2025

Y1 - 2025

N2 - Rust’s ownership-based type system ensures safety but often rejects intuitive and safe code, leading to workarounds. View types are a promising language extension aiming to increase flexibility and expressiveness in function calls. We outline the motivation, challenges, and research directions for integrating view types into Rust.

AB - Rust’s ownership-based type system ensures safety but often rejects intuitive and safe code, leading to workarounds. View types are a promising language extension aiming to increase flexibility and expressiveness in function calls. We outline the motivation, challenges, and research directions for integrating view types into Rust.

KW - Borrow Checker

KW - Ownership

KW - Partial Borrows

KW - Rust

KW - View Types

U2 - 10.1145/3758316.3765481

DO - 10.1145/3758316.3765481

M3 - Conference Paper

SN - 9798400721410

T3 - SPLASH Companion '25

SP - 48

EP - 49

BT - Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

T2 - SPLASH Companion '25

Y2 - 12 October 2025 through 18 October 2025

ER -

View Types in Rust

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this