「null」と「Maybe」の両方の概念を持つことは意味がありますか？

C＃でWeb APIのクライアントを作成しているときに、null2つの異なるものを表す値として問題が発生しました。

• 何もありません。たとえばfoo、bar
• 不明：デフォルトでは、API応答にはプロパティのサブセットのみが含まれます。必要な追加のプロパティを指定する必要があります。したがって、不明とは、プロパティがAPIからリクエストされなかったことを意味します。

Maybe（またはOption）タイプ、関数型言語での使用方法、およびユーザーに値の不在について考えさせることによりnull逆参照の問題を「解決」する方法について調べたところ、次のことがわかりました。しかし、私が遭遇したすべてのリソースはnullをMaybeで置き換えることについて話しました。私は3値的論理についての言及をいくつか見つけましたが、私はそれを完全には理解していません。ほとんどの場合、その言及は「それは悪いこと」の文脈で行われていました。

nullとMaybeの両方の概念を持ち、それぞれ未知数と何も表現しないことが理にかなっているのではないかと思っています。これは私が読んだ3値論理ですか、それとも別の名前ですか？または、多分多分に多分をネストするための意図された方法ですか？

nullどこにでも存在するデフォルトとしての値は、本当に壊れたアイデアなので、忘れてください。

実際のデータを最もよく表す概念を常に正確に持っている必要があります。「不明」、「なし」、「値」を示すタイプが必要な場合は、それが必要です。しかし、それが実際のニーズに合わない場合は、実行しないでください。他の人々が何を使っているか、彼らが提案したものを見ることは良い考えですが、あなたは彼らを盲目的にフォローする必要はありません。

標準ライブラリを設計する人々は、一般的な使用パターンを推測しようとしますが、通常はそれをうまく行いますが、必要な特定の事項がある場合は、自分で定義する必要があります。たとえば、Haskellでは、次のように定義できます。

data UnknownNothing a =
     Unknown
   | Nothing
   | Value a

覚えやすい、より説明的なものを使用する必要がある場合もあります。

data UserInput a =
     Unknown
   | NotGiven
   | Answer a

さまざまなシナリオで使用される10のタイプを定義できます。欠点は、既存のライブラリ関数（などのものMaybe）を利用できないことですが、通常はこれが詳細です。独自の機能を追加することはそれほど難しくありません。

私の知る限りnull、C＃の値は、その型に応じて、一部の変数で使用できる値です（私は正しいですか？）。たとえば、いくつかのクラスのインスタンス。残りのタイプ（、など）intではbool、変数をint?またはで宣言することにより、この例外値を追加できますbool?（これはMaybe、次に説明するように、コンストラクターが行うこととまったく同じです）。

Maybe関数型プログラミングの型コンストラクタは、指定されたデータ型にこの新しい例外値を追加します。したがって、Intが整数のタイプまたはGameゲームの状態のタイプである場合、Maybe Intはすべての整数に加えてnull（何もとは呼ばれない）値を持ちます。も同じですMaybe Game。ここでは、null値を伴うタイプはありません。必要なときに追加します。

IMO、この最後のアプローチは、どのプログラミング言語にも適しています。

のような型共用体を定義でき、値だけを表す（それ以外は何もない）X or Yという名前の型がある場合、どの型についても、実際にはとそれほど違いはありません。唯一の問題は、言語が型を暗黙的に扱い、すべての型に対して有効な値を作成する場合です（それらの型を持つ言語のプリミティブ型を除く）。これは、たとえば、Java でも発生します。NullnullTT or NullMaybe TnullTT or NullnullStringnull

タイプを値orのセットおよび集合の和集合として扱う場合、は値のセットを(T or Null) or Null表しますT ∪ {null} ∪ {null}。これはと同じT or Nullです。この種の分析（SBCL）を実行するコンパイラーがあります。コメントで言ったように、あなたは簡単に区別することはできませんMaybe Tし、Maybe Maybe Tあなたがドメインとしてのタイプを表示したときに（一方で、そのビューは動的型付けのプログラムのために非常に便利です）。ただし、型を代数表現として保持することもできます(T or Null) or Null。ここで、は多レベルの複数のレベルを表します。

表現したいものを見つけ、それを表現する方法を見つける必要があります。

まず、問題のドメインに値があります（数値、文字列、顧客レコード、ブール値など）。次に、問題のドメイン値に加えて、いくつかの追加の一般的な値があります。たとえば、「nothing」（値の既知の不在）、「unknown」（値の存在または不在に関する知識がない）、言及されていないなど何か」（確かに価値はありますが、どれがいいかわかりません）。多分あなたは他の状況を考えることができます。

すべての値とこれらの3つの追加値を表すことができるようにしたい場合は、「nothing」、「unknown」、「something」、および「value」のケースを持つ列挙を作成し、そこから移動します。

一部の言語では、場合によってはより単純です。たとえば、Swiftでは、すべてのタイプTに対して、可能な値としてnilとすべてのTの値を持つ「オプションのT」タイプがあります。これにより、多くの状況を簡単に処理でき、「なし」と「値"。「不明」と「値」がある場合に使用できます。「なし」、「不明」、「値」を処理する必要がある場合は使用できません。他の言語では「null」または「たぶん」を使用する場合がありますが、それは単なる別の言葉です。

JSONには、キーと値のペアを持つ辞書があります。ここでは、キーがディクショナリから欠落しているか、値がnullである可能性があります。したがって、物事がどのように格納されるかを注意深く説明することにより、一般的な値と2つの追加の値を表すことができます。