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

▽仙台RailsｺﾞｰﾙﾃﾞﾝIT社長2.0
●03/27 21:38
この広告は､90日以上更新していないﾌﾞﾛｸﾞに表示しています｡

▽福島でRailsを使って仕事を頑張る計画
●03/27 07:48
2021-08-17
rubyの2.1とか2.0とかにmimemagicが入らない
2.3以降でしか認識しない構文が使われていますが､
gem 'mimemagic', :git => 'git://github.com/powarvinayak/mimemagic.git',
:branch => "patch-for-ruby-2.1"
Gemfileをこう修正すると入ります｡
xibbar 2021-08-17 17:33
rubyの2.1とか2.0とかにmimemagicが入らない
Tweet
もっと読む
ｺﾒﾝﾄを書く
rubyの2.1とか2.0とかにmimemagicが入らない

▽もうすぐ初夏だよはぶにっき
●01/09 15:06
このﾌﾞﾛｸﾞについて

▽まさたか日記
●07/13 15:35
月の生活 | よなよなｴｰﾙ公式ｳｪﾌﾞｻｲﾄ｢よなよなの里｣