▽きしだのはてな
●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

▽ｳﾉｳﾗﾎﾞ Unoh Labs
●05/21 03:38
Warning! Unoh.net has expired. If this is your domain name you must renew it immediately before it is deleted and permanently removed from your account. To renew this domain name visit http://www.NameBright.com

▽phaのﾆｰﾄ日記
●05/17 08:52
2021-07-19
『映画：ﾌｨｯｼｭﾏﾝｽﾞ』を見た
3/30（火）｢漠とした3名｣

▽Meadow memo:
●04/30 20:11
You don’t have permission to access /soft/meadow.html on this server.

▽IT戦記
●04/18 05:21
読者になる