Proposal: Add intermediate monadic types for option and generated results e.g. OptionNone with implicite conversion to Option<T> to enhance type inference

[Tyrrx]

C# has very limited type inference. An intermediate monadic type representation would support C#'s type inference. For instance returning a OptionNone from Option.None that will be implicitly converted to an Option as soon as it is passed to an already strong typed method. This could be just an extension as Option.None<T> could still return Option<T>.

// struct Option<T>: 
public static implicit operator Option<T>(OptionNone value) =>
            Option<T>.None;

[ax0l0tl]

Hi, could you provide an example, where this type would help?

[Tyrrx]

Easiest example would be:

Option<int> opt = Option.Some(0);
Option<int> maybeOne = opt.Bind(one => one == 1 ? Option.Some(one) : Option.None);
// vs
Option<int> maybeOne = opt.Bind(one => one == 1 ? Option.Some(one) : Option.None<int>());