Hacker News new | ask | show | jobs
by dllthomas 4419 days ago
Immutable data structures give us many benefits, but linear types promise most of those plus safe mutability. Think of it as a compile-time proof that you'll be getting vector fusion style speed-ups.