Tomas Grosup
Tomas Grosup
Related to https://github.com/dotnet/fsharp/issues/17409
Might be implicitely solved by contextual information to nullness diag (... "possible derefence"..)
**Idea**: Make the active pattern |Null|NonNull| to an module which needs explicit opening or explicit prefixing.
Idea: RQA for the active pattern: ```fsharp [] module Nullable = let inline (|Null|NonNull|) (x: 'T) : Choice
The active pattern can eliminated nullness from a type (i.e. what you match as values will be known to be non-nullable) even in deeply nested scenarios. Imagine a `string |...
This is what VS offers for C#:  It maps to .csproj property, e.g.: ` annotations` The `annotations` value means that it loads the nullable types, propagates them etc., but...
Just noticed the full config above - is the `OverrideTargetFramework` needed here? Also, there is a commented line specific to `.fsproj`, is that intentional?
> [@T-Gro](https://github.com/T-Gro), wich commented line? This: ` $(DotNetVersion);$(DotNetVersion)-windows10.0.22621-->`
@abelbraaksma : Yes, that is the one. I and I agree with the conclusions. It also matches my finding in the codebase about the functionality not being deeply tested. I...
F# has an existing syntax which is easier to type (it is a symbol found on standard keyboards) and can be compressed using appropriate tooling such as font ligatures. I...