是否有数学符号或其他简洁的符号来表示选项值（OCaml 的option类型，Haskell 的Maybe ...）？
它在函数式编程中经常出现，以至于我希望找到这种类型的简洁语法，就像列表具有某种标准的[]表示法，函数具有->表示法一样，等等。
我知道在更正式的上下文中，人们可能会使用部分函数表示法，但在大多数情况下，它并不像一些/无（或只是/无）的一些显式符号那样适合。
理想情况下，我想写这样的东西：
This function returns #42 if the input is valid, @ otherwise.
其中#42代表Some 42，@代表None，但以标准的方式，大多数读者（或至少是那些有一定数学背景的读者）很容易理解。
我还没有看到任何这样的特定符号。我所知道的最接近的是使用数学符号来表示类型：α ⊕ 1。这里⊕表示类型的直接和（不相交并集），1 表示单位类型。
这种符号用于范畴论或类型系统。