Borrow-checking without type-checking
jamii
40 points
3 comments
April 23, 2026
Related Discussions
Found 5 related stories in 63.8ms across 5,335 title embeddings via pgvector HNSW
- Comparing Python Type Checkers: Typing Spec Conformance ocamoss · 104 pts · March 16, 2026 · 40% similar
- Don't Trust, Verify lwhsiao · 17 pts · March 28, 2026 · 39% similar
- Darkbloom – Private inference on idle Macs twapi · 85 pts · April 16, 2026 · 39% similar
- Verification debt: the hidden cost of AI-generated code xfz · 87 pts · March 07, 2026 · 39% similar
- My university uses prompt injection to catch cheaters varun_ch · 16 pts · April 05, 2026 · 39% 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?