watsのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

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

▽Gaucheｸｯｸﾌﾞｯｸ
●04/03 04:48
映画
【映画感想】｢ﾐｯﾄﾞｻﾏｰ｣｢旧劇場版ｴｳﾞｧﾝｹﾞﾘｵﾝ｣とﾃｰﾏが被っているが､結論が違うところが面白かった｡
＊本記事には｢ﾐｯﾄﾞｻﾏｰ｣のﾈﾀﾊﾞﾚが含まれます｡未視聴のかたはご注意下さい｡ずっと観たいと思っていた｢ﾐｯﾄﾞｻﾏｰ｣を観た｡ﾐｯﾄﾞｻﾏｰ（字幕版）ﾌﾛｰﾚﾝｽ･ﾋﾟｭｰ Amazon 観る前は｢2時間30分か｡長いな｣と思っていたが､観始めたら面白くて目…
うさるの厨二病な読書日記 - 2021-10-05 12:53:42
『AWSｺﾝﾃﾅ設計･構築[本格]入門』の監修しました
あまり宣伝できていなかったのですが､監修していた『AWSｺﾝﾃﾅ設計･構築[本格]入門』が2021年10月21日に発売されることになりました｡AWSのJapan APN Ambassadorsである新井雅也さん（@msy78）と､同じくAPN AWS Top Engineersである馬勝

▽Engadget Japanese
●04/02 22:34
Sponsored by Verizon Media
お問い合わせはこちら
Sponsored by ﾓﾄﾛｰﾗ･ﾓﾋﾞﾘﾃｨ･ｼﾞｬﾊﾟﾝ合同会社
これで5万円台は驚き｡1億画素ｶﾒﾗに144Hz有機EL搭載｢motorola edge 20｣

▽Martin Fowler’s Bliki
●04/01 01:37
While pull requests are built for Feature Branches, teams can use them within a Continuous Integration environment. To do this they need to ensure that pull requests are small enough, and the team responsive enough, to follow the CI rule of thumb that everybody does Mainline Integration at least daily. (And I should remind everyone that Mainline Integration is more than just merging the current ma