4 ms·
I think you could have mut visible at the language level, but otherwise have all parameter passing look and feel like Java, without any pointer noise or implici
by cousin_it 10y ago
I think you could have mut visible at the language level, but otherwise have all parameter passing look and feel like Java, without any pointer noise or implicit copying.
- masklinn 10y agoHow would lifetimes work? Java & al get away with it because they don't reify lifetimes and the concepts of reference and value are moved at the type level (and they don't use affine types).
- cousin_it 10y agoFrom looking at research languages with similar systems (Mezzo, LinearML...) none of them seem to have pointer noise. I might be missing something though.