▽sakaikの日々雑感〜(C)編
●04/30 00:49
What to Upload to SlideShare by SlideShare 9787159 views
Be A Great Product Leader (Amplify,... by Adam Nash 1580535 views
Trillion Dollar Coach Book (Bill Ca... by Eric Schmidt 1624069 views
APIdays Paris 2019 - Innovation @ s... by apidays 2109554 views
A few thoughts on work life-balance by Wim Vanderbauwhede 1470592 views
Is vc still a thing final by Mark Suster 1370347 views

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

▽SH2の日記
●03/27 09:17
読者になる
`ol_delivery_d` dateti

▽Open database life
●01/09 06:52
MySQL 5.7にやられないためにおぼえておいてほしいこと by yoku0825 131989 views

▽漢(ｵﾄｺ)のｺﾝﾋﾟｭｰﾀ道
●12/05 09:18
投稿者Mikiya Okuno時刻:17:470ｺﾒﾝﾄ
投稿者Mikiya Okuno時刻:18:580ｺﾒﾝﾄ
投稿者Mikiya Okuno時刻:17:410ｺﾒﾝﾄ
投稿者Mikiya Okuno時刻:9:010ｺﾒﾝﾄ
投稿者Mikiya Okuno時刻:8:580ｺﾒﾝﾄ
投稿者Mikiya Okuno時刻:9:010ｺﾒﾝﾄ
投稿者Mikiya Okuno時刻:19:470ｺﾒﾝﾄ
投稿者Mikiya Okuno時刻:8:000ｺﾒﾝﾄ
投稿者Mikiya Okuno時刻:8:180ｺﾒﾝﾄ
投稿者Mikiya Okuno時刻:22:440ｺﾒﾝﾄ