Abel Braaksma

@cartermp, you wrote: > no longer making x an inref would violate guarantees around not copying However, I have come to understand that the `with` syntax always creates a copy,...

@cartermp, thanks for the explanation. I reread the byref docs, and it's included that a readonly struct is treated as `inref` contract to allow this. But perhaps that should go...

@dsyme, I suggest we reopen this? Your comment makes me believe this is a bug after all. BTW, I just recollect that I have code like the one of the...

Can this one be `approved-in-principle` @dsyme? An implementation (https://github.com/dotnet/fsharp/pull/6781) has been ready for some time (since July last year), and I believe this would be nice to have in F#...

@gusty, I believe the idea is that the V versions use value options all through, and without the V it's the classical way of reference options. But I agree that...

Just to be sure, we're talking about this obscure function, right? https://github.com/dotnet/fsharp/blob/bc88b51bec7cd3a76d0e4b2eb2f4b5aa1e8b50ca/src/FSharp.Core/prim-types.fs#L5172 > Searching for usages of it on GitHub or Google do not yield any productive results, please correct...

Ah wait, it just doesn't work properly on recursive types, in that case "limited" doesn't mean "limited": ``` > limitedHash 1 [1..200_001];; Stack overflow. Repeat 23958 times: ``` Even more...

Do these kind of lib changes to F# Core require an RFC? Or maybe just have an encompassing RFC for all lib changes in version X? (asking since I noticed...

For reference, here's a link to the original PR for C#, which is now merged: https://github.com/dotnet/roslyn/pull/31148. Edit: apparently more work was done on several PR's, here's all: https://github.com/dotnet/roslyn/commits/features/unmanaged-constructed-types.

I think this is a great idea! Adding the screenshot from the original issue here for reference/clarification (it wasn't converted correctly):