Hacker News Viewer

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