はてなアンテナ
digoのアンテナ
id:digo
グループ一覧
3/15ページ
▽
きしだのはてな
●05/21 08:19
2021-10-14
代数データ型の直積型と直和型の理解
代数データ型という考え方があって、型に対する代数的な操作を行うものっぽいです。代数的な操作というのは、足し算とか掛け算ですね。直和型と直積型というのがあります。
直積型は構造体のようなもので、Javaだとrecordが導入されましたね。
record A(int p1, boolean p2) {}
みたいなものです。
これがなぜ積なのかというと、このレコードAの取りうる値の組み合わせは、intの値のパターン数(2 ^ 32) × booleanの値のパターン数(2)で2 ^ 33になるからなんだと思います。
直和型は、型がこれかこれ、みたいになるやつです。Javaだとtry-catchのcatch句に直和型が指定できて、この例外かこの例外、みたいな書き方ができますね。
catch (NullPointerException | N
▽
kazuyaとakiyoのブログ
●05/15 20:08
For search results please CLICK HERE.
For more information about this domain, click here. 中古ドメインお問い合わせはこちら.
Loading Web Results....
Web Search Results
プライバシーポリシー
▽
marsのメモ
●03/28 08:43
このブログについて
▽
日刊キム・バウワーちゃんねる。
●03/28 07:50
この広告は、90日以上更新していないブログに表示しています。
▽
はてなダイアリー - 電網徘徊録
●03/28 05:32
このブログについて
4.
<前5
6.
次5>
0.
はてなアンテナトップ
8.
このページを友達に紹介
9.
このページの先頭へ
□
ヘルプ
/
お知らせ
□
ログイン
□
無料ユーザー登録
□
はてなトップ
(c) Hatena