▽きしだのはてな
●04/27 09:23
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

▽『ﾋﾞｼﾞﾈｽ本ﾏﾆｱｯｸｽ』 働くひとのためのｽｷﾙｱｯﾌﾟ用ﾋﾞｼﾞﾈｽ本紹介
●03/28 14:43
読者になる
まあ､結局おそらくは死ぬことになるんですが､結局死ぬんだから､対症療法も含め､何も治療しないのでは､死まではより短くなりますし､いろいろ症状も出て生活への支障が大きくなります｡その微妙なﾊﾞﾗﾝｽというか､得られるものはすごく大きいわけではないんですが､そうした中で､治療を受けることを決断していくということ

▽watawata日記
●03/28 08:48
このﾌﾞﾛｸﾞについて

▽dragon3の日記
●03/28 06:54
このﾌﾞﾛｸﾞについて

▽ｻﾝﾌﾟﾙｺｰﾄﾞによるPerl入門
●03/28 03:27
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡