Editions Ideas

[Paul Backus]

On Sunday, 14 December 2025 at 06:49:14 UTC, Walter Bright wrote:
> On 12/13/2025 9:45 AM, jmh530 wrote:
>> All else equal, I would recommend trying to more closely 
>> follow what Rust has done, particularly with respect to 
>> lifetimes, since that has traction in the marketplace. I also 
>> have found the arguments for an isolated type to be strong.
>
> Lifetimes are what the dip1000 annotations do.

Yes, but Rust's lifetimes are more flexible than dip1000's 
lifetimes, and allow code to be written in a more intuitive way.

For example, it is impossible with dip1000 to declare two 
variables with exactly the same lifetime as each other, even if 
they are contain the same value. To work around this, you have to 
combine the two variables into a single value, like a tuple or a 
static array--which makes the code less natural to read.