Borrow-checking without type-checking
by jamii on 4/23/2026, 2:55:17 AM
https://www.scattered-thoughts.net/writing/borrow-checking-without-type-checking/
Comments
by: Panzerschrek
In my programming language I have some sort of "borrowing" too (although it's named differently). But my language has no dynamic typing, only static typing is used and thus all checks are compile-time and have no runtime cost. Why bothering with dynamic typing and paying runtime costs for it?
4/23/2026, 5:21:24 AM