-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. 種類のHaskellの多型と私は<em>型変数</em>があることを学んできたHaskellで変数
- 8. リスト<T>のタイプパラメータと、結合テーブルの.Query <T>の種類は何ですか？
- 9. boost :: optional vs T *
- 10. 式<機能<T, bool>>述語2種類
- 11. 用語：Nullable <T>のT型はどうですか？
- 12. VBにはどんな種類のテンプレートエンジンがありますか？
- 13. どのような種類のデータが返されますか？
- 14. FutureOr <T>は、未来型の具体化タイプがあります<T>/<T>？
- 15. C++で3000000^2を保持するデータ型の種類は何ですか？
- 16. 代数データ型の型レベルセット
- 17. sizeof（std :: list <T>）は、Tの種類によって異なりますか？
- 18. どのような種類のファジィフラッドフィルアルゴリズムがありますか？
- 19. c＃RSACryptoServiceProviderの指数とモジュラスはどのような種類のデータですか？
- 20. ハッシュの格納に使用するデータ型の種類
- 21. イベントの種類のリストはどこにありますか？
- 22. boost :: optionalの比較（<）、出力（<<）と代入（=）
- 23. "enum"型定数にはどのような種類のデータがありますか？それをNSArrayに追加するには？
- 24. xsd：QNameにはどのような種類のデータが適していますか？
- 25. 代数データ型のパターンマッチング
- 26. は私が後だ多型の種類はこれですC
- 27. Optional Optional Double to Optional <java.lang.Double>
- 28. フォントの種類<c:out>のJSPで
- 29. どのような種類のデータ構造ですか？
- 30. 型引数のMicrosoft.Xna.Framework.Graphics.VertexBuffer.SetData <T>（T []）は、「私が持っている
私はあなたがそれを把握することができますかなり確信している：、この質問を参照してください理由を確認するには
'Optional'が 'T'か' T'なしのどちらかであると考えるならば。 –
molbdnilo
OK固定されているため –