korrents

Our 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

Do static types make software better?under our view: If you are going to have types, have the strictest kind

What Jamie Brandon actually said

  1. Jamie Brandon Programmer based in Vancouver who writes…
    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.

Added to korrents 20 Sept 2026 · How quotes work · Something wrong? Tell us

Do you hold this korrent?Do you also believe this?

I hold this too

Related korrents

Shared subject first, then similar wording. They may agree or disagree.

See this claim on the map