Tomas Grosup
Tomas Grosup
(closing, this is supported by tooling already)
This was done via https://github.com/dotnet/fsharp/pull/12154, this suggestion can be closed.
The motivation is not the same as the proposal here. The perf benefits would come from passing stackalloc'd values for the `WriteNames("Don","Don")` case. The benefits would not come from method...
It is a tradeoff between supporting everything which C# can and keeping up to date with it, vs. being pragmatic and admitting that passing stackalloc'd values to `ROS` is the...
More practically speaking, in the priority choice between: - C#-matching overload resolution and supporting all collection-forms, but in the style of `WriteNames(ReadOnlySpan([|"Don"; "Don"|]))` as this issue suggests - Actually doing...
What about a separate library targeting net9 (or "netcurrent" in general), which would be overwriting the `lock` function and could be statically optimized for `Lock` type.
I don't think we can do a combination of statically optimized for "something" and being SRTP at the same time. (or the compiler would have to be taught to do...
Yes, that does make more sense. I believe that in this case, the inference for the "work" agnostic function took precedence. The call will still work and will be open...
Closing as being by design
As an independent observer, I would not recommend replacing existing options with `T | null`. The option type has stronger support both in the Fsharp.Core standard library as well as...