I’m on my phone on a long road trip, so I can’t really give you a good lengthy explanation right now, to be honest.

Mutable value semantics means no references at all, from a certain perspective.

You can sort of think of linear types as RAII where you must explicitly drop. Sorta.

“More programs” isn’t really the right way to think about it. Different semantics, so different programs :)