可空嵌套对象和 Maybe Monad

Question

我正在努力实现一个可能的 monad - 在这个例子中我将其称为 Nullable 。

Nullable 类的实现如下：

Public NotInheritable Class Nullable(Of TClass)

    Private _value As TClass
    Private _hasValue As Boolean

    Public Shared Function Create(ByVal value As TClass) As Nullable(Of TClass)
        Return New Nullable(Of TClass)(value)
    End Function
    Public Shared Function Create() As Nullable(Of TClass)
        Return New Nullable(Of TClass)()
    End Function

    Private Sub New()
        HasValue = False
    End Sub
    Private Sub New(theValue As TClass)
        Value = theValue
        HasValue = True
    End Sub

    Public Property Value() As TClass
        Get
            Return _value
        End Get
        Private Set(value As TClass)
            _value = value
        End Set
    End Property

    Public Property HasValue() As Boolean
        Get
            Return _hasValue
        End Get
        Private Set(value As Boolean)
            _hasValue = value
        End Set
    End Property

End Class

有一个父类实现为

Class Parent
    Public Property ChildClass as Nullable(Of Child)
End Class

，而子类只是

Class Child
    Public Property ID as String
    ... other properties below ...
End Class

monad 的实现方式，目前我需要发出以下命令来访问嵌套子类上的属性

dim id = MyParentClass.ChildClass.Value.ID

，但理想情况下我是这样的想要做的是拥有以下语句

dim id = MyParentClass.ChildClass.Id

，如果 ChildClass 为 null，则仅返回属性类型的默认值。

我尝试使用默认属性来实现此功能，并通过属性将值设置为默认值，但它无法编译。

这是否可能，或者也许有更好的构建它的方法 - 或者也许我只是还没有“得到”可能的单子？

许多 TIA

Simon

Answer 1

好吧，Maybe 本身的定义只是一个可能存在也可能不存在的单个值，所以这么多就可以了。顺便说一句，如果您出于某种原因不喜欢“Maybe”这个名称，我建议考虑使用“Option”而不是“Nullable”，因为 Nullable 已被 .NET 使用（对于相同的情况）目的，甚至 - 但仅限于值类型），而 Option 是 F# 所称的，并且一致性很好。

不管怎样，基本上你可以用这样的值做两件事——对值应用转换（如果有的话），并折叠嵌套层（例如，将可空的“foo”变成可空的“foo”） “foo”）。考虑到这些以及构建新价值观的能力，你可以做其他一切事情。

“转换”操作最直接的实现方式是采用 lambda（比较 LINQ 使用的 Select 方法 - 这是同一件事），然后将其应用于包装的值，或者如果存在则将其丢弃没有价值。 “折叠”操作非常简单；如果存在的话，只保留内在价值。 LINQ 在这里是一种非常自然的方法——您可以将Maybe 视为表示最多一个元素的可枚举序列。

也就是说，您可能不希望到处使用 lambda 或 LINQ 表达式。坏消息是我认为没有其他办法。

我怀疑您在这里真正想要的是使用常规方法调用语法隐式应用“转换”操作，同时如果该方法还返回可为空的内容，并且可能提供默认值，则自动应用“折叠”操作尝试直接使用缺失值时的值。这是一个合理的设计，并且使用起来非常方便，但我认为在这里不可能（我自己使用 C# 尝试了几个变体，并且我认为 VB.NET 的差异不足以提供帮助）。像这样的方案的最终结果是能够对空值调用方法，并返回空值而不是空引用异常。作为一个例子，这里有 Ruby 中类似的东西，用一些元编程技巧实现，我认为 VB 没有.NET可以支持。我依稀记得在 Javascript 和其他一些语言中看到过类似的想法。

简而言之，我认为您的想法基本上是正确的，但遗憾的是您想要完成的事情是不可能的。