A korrentour readingWhat is a korrent?
Enforcing safe mutable value semantics (e.g. via borrow-checking) is far easier to do cheaply with a static type system than with a dynamic one.
Drawn from what Jamie Brandon said
What Jamie Brandon actually said
Word for word, with the source under each one. They did not write this page.
Programmer based in Vancouver who writes at…
Ensuring that moving, borrowing, and sharing don't break the illusion is surprisingly easy to do with a static type system, and surprisingly hard to do with a dynamic type system, or at least hard to do cheaply.
Where this was said
↗Borrow-checking without type-checkingscattered-thoughts.net
All 2 korrents from this piecethis one is 2nd
Added to korrents 22 Apr 2026 · How quotes work · Something wrong? Tell us
Do you hold this korrent?Do you also believe this?
Related korrents
Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.