Not totally different, with strict immutability enforced for the whole language there's no need for borrow checking. Because there's no identity at all. You don

Not totally different, with strict immutability enforced for the whole language there's no need for borrow checking. Because there's no identity at all. You don't have to borrow number 3 because another number 3 is the same 3 as any other 3.