Borrow-checking without type-checking
jamii
40 points
3 comments
April 23, 2026
Related Discussions
Found 5 related stories in 305.2ms across 15,062 title embeddings via pgvector HNSW
- Ten ways a check passes while the thing it checks is broken degibug · 17 pts · July 22, 2026 · 55% similar
- The whole premise of checking for human writing is daft shehuphd · 39 pts · July 25, 2026 · 48% similar
- Reviewing code you didn't write colescodes · 14 pts · July 22, 2026 · 46% similar
- --dangerously-skip-reading-code fagnerbrack · 133 pts · May 23, 2026 · 46% similar
- Abstracting Effects with Continuations crowdhailer · 55 pts · July 16, 2026 · 44% similar
Discussion Highlights (1 comments)
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?