c# - Nullable<T> monad 上的绑定(bind)和标识函数在哪里？

Question

我对单子(monad)的理解仍在形成中。据我所知，除了关联之外，单子(monad)必须遵守的其他三个契约是 identity , pure和bind .

我推断 Nullable<T> 的构造函数形成纯函数，我没有看到任何 identity和bind功能于 Nullable<T> .

Answer 1

.Net 不包含 bind方法Nullable<T> ，但它足以让您自己构建一个:

static Nullable<T2> Bind<T1, T2>(Nullable<T1> source, Func<T1, Nullable<T2>> f)
    where T1 : struct where T2 : struct
{
    return source.HasValue ? f(source.Value) : null;
}

C# 确实包含与 bind 类似(但不太通用)的内容:空条件运算符 ?. 。假设a类型为Nullable<T1>和B是 Nullable<T2> 类型的属性，然后a?.B相当于 Bind(a, x => x.B) .