-1
したがって、2種類の代数データ型（ADT）があります。 ScalaのOption[T]またはJavaのOptional<T>の場合、これは合計型または製品型の例ですか？どの種類の代数データ型がOption [T]またはOptionalであるか<T>
A
答えて
2
ハスケルでOption[T]タイプを定義すると、合計タイプであることがわかります。
NoneSome t
のでOption[T]とOptional<T>両方のタイプTを取った後、可能な1以上の追加：タイプOption tの
data Option t = None | Some t
値が2つのもののいずれかになります。値（None）。楽しみのために
、我々はまた、代数方程式にこのADTを翻訳することができます：Abusing the algebra of algebraic data types - why does this work?
関連する問題
- 1. 種類/種類Haskell（多分）代数データ型の混乱
- 2. T型の種類{type T}
- 3. Nullable <T>のバリュープラクティスには値の種類がありますか？
- 4. std :: optional <std :: reference_wrapper <T>> - それは問題ありませんか？
- 5. nHibernateはどんな種類の戻り値の型を使いますか？リスト<T>？
- 6. コードには何種類の型変換がありますか？
- 7. どのような種類のデータがリレーショナルではありませんか？
- 8. スウィフトジェネリックエラー：予想される引数の型「種類<_>」
- 9. リスト<T>のタイプパラメータと、結合テーブルの.Query <T>の種類は何ですか？
- 10. 種類のHaskellの多型と私は<em>型変数</em>があることを学んできたHaskellで変数
- 11. は、2種類のインタフェースを継承し<T, I>
- 12. boost :: optional vs T *
- 13. 式<機能<T, bool>>述語2種類
- 14. 用語：Nullable <T>のT型はどうですか？
- 15. VBにはどんな種類のテンプレートエンジンがありますか？
- 16. どのような種類のデータが返されますか？
- 17. オプションまたはオプションタイプ（オプション<T>）はTypeScriptで意味がありますか？
- 18. 無類の種類：ブールとint型エラー
- 19. FutureOr <T>は、未来型の具体化タイプがあります<T>/<T>？
- 20. C++で3000000^2を保持するデータ型の種類は何ですか？
- 21. どのような種類のファジィフラッドフィルアルゴリズムがありますか？
- 22. sizeof（std :: list <T>）は、Tの種類によって異なりますか？
- 23. それはどのような種類のデータですか？
- 24. 代数データ型の型レベルセット
- 25. c＃RSACryptoServiceProviderの指数とモジュラスはどのような種類のデータですか？
- 26. 合計型が合計型と呼ばれるのはなぜですか？私は代数的データ型、合計の種類や製品の種類について読んハスケルを学習する過程で
- 27. イベントの種類のリストはどこにありますか？
- 28. さまざまな種類のデータ型をサポートするデータ構造
- 29. ハッシュの格納に使用するデータ型の種類
- 30. boost :: optionalの比較（<）、出力（<<）と代入（=）
私はあなたがそれを把握することができますかなり確信している：、この質問を参照してください理由を確認するには
'Optional'が 'T'か' T'なしのどちらかであると考えるならば。 –
molbdnilo
OK固定されているため –