Had fun reading this paper by Mastrangelo, Hauswirth, Nystrom analyzing how casts are used in real-world Java programs. Need to find a way to make it part of an Analysis assignment in the next iteration of my programming languages course!
https://dl.acm.org/doi/10.1145/3360584
"Casting about in the dark: an empirical study of cast operations in Java programs"
@shriramk oh no