Borrow-checking without type-checking
jamii
40 points
3 comments
April 23, 2026
Related Discussions
Found 5 related stories in 103.0ms across 10,324 title embeddings via pgvector HNSW
- --dangerously-skip-reading-code fagnerbrack · 133 pts · May 23, 2026 · 46% similar
- My automated doubt development process aself101 · 75 pts · June 07, 2026 · 42% similar
- Comparing Python Type Checkers: Typing Spec Conformance ocamoss · 104 pts · March 16, 2026 · 40% similar
- Could a Claude Code routine watch my finances? mbm · 73 pts · April 24, 2026 · 40% similar
- Nine Ways to Do Inheritance in Rust, a Language Without Inheritance pjmlp · 16 pts · June 03, 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?