▽subtechｸﾞﾙｰﾌﾟ - tokuhiromの日記
●06/05 22:46
このﾌﾞﾛｸﾞについて

▽torutkの日記
●06/05 06:38
OpenJDKﾃﾞｨｽﾄﾘﾋﾞｭｰｼｮﾝ情報

▽m_sekiの日記
●06/03 14:28
2021-10-17
Discordの音楽再生botの話 #FM719
Discordの音楽再生botの話 #FM719

▽Journal InTime
●05/27 03:46
2021-09-11 (Sat) [長年日記]
_ RubyKaigi Takeout 2021
RubyKaigi Takeout 2021に参加した｡今年もﾘｱﾙ開催できなかったのは残念だけど､動画配信が独自ｼｽﾃﾑで､会議中にもどんどん改善されててすごかった｡ｽﾀｯﾌのみなさん､今回も楽しい会議をありがとうございました｡
自分の発表は手持ちのﾁｹｯﾄの説明であまり前向きな話ではなかったけど､RubyKaigiがなかったらたぶん実装が面倒で放置していたと思うので実装ができたのはよかった｡
他の人の発表で印象に残ったのは遠藤さんのｷｰﾉｰﾄで､あれを見るとRubyに静的型はいらないと言ってた人もほしくなっちゃいそう｡TypeProf自体は型を書かなくていいというｺﾝｾﾌﾟﾄだけど､実用を考えるとﾗｲﾌﾞﾗﾘ含めてやっぱりある程度RBSの記述が必要なわけで､他人は型を書くけど自分は（ほとんど）

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