スイフトはなぜダブルオプションを許可していますか？

Question

私が選択肢を見るときに考えた最初のことは、基本的にはml形式の言語からの多分モナドであるということでした。しかし、真のモナドは物を二重に包むべきではありません（m(m(a)) == m(a)）。どのような状況では、リンクされたリスト構造ではなく、2つのオプションが必要でしょうか？

「ダブルオプション」とは、String??などのタイプシグニチャを意味します。私の考えでは、これは自動的にString?に変換されるべきです。

Answer 1

私はこれをSwiftの観点から試してみるつもりです。私のFPの用語が間違っていれば私を許してください。

なぜダブルオプションを使用するのですか？

2つのオプションがよく知られています。オプションでこのキーに値がないことを示すコレクションで、オプションの値も格納されます。ここでは、コレクションまたは要素がゼロを返すかどうかを知ることが重要な場合があります。

let possibleNumbers: [String: Int?] = [:] 
guard let possibleNumber = possibleNumbers["one"] else { 
    print("No number stored") 
} 
guard let number = possibleNumber else { 
    print("Number at key was nil") 
} 

我々は自動的にT?にT???????を変換できますか？

いいえ、それはflatMapで実現できます。オプションのレベルごとに新しいマップを追加する必要があります。

possibleNumbers["one"].flatMap { $0 } 

また、スウィフトOptionalは明示的にモナドと呼ばれているとは思いません。これは内部的に一般的な列挙型として実装され、その型のセマンティクスをより厳密に従います。少なくとも私は言語ガイドで参考文献を見つけることができませんhttps://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/TheBasics.html