病気の美少女 @lyrical_logical 今更読んだ。応募した社の人間の記事に文句つけるのもなんだけれど、内輪で天才~とかいうのは別にいいと思うんですがそれを public な場でやっちゃったり、発明とか言っちゃうのは寒くないですか…というか別に難しくないし普通やん… qiita.com/pab_tech/items… 病気の美少女 @lyrical_logical まず権限について。たまたま Read, Write, ReadWrite という権限の関係が半順序になってるので継承関係で表せば素直な型制約で表現可能ですがそうでなかったとしても implicit を使ったメタプログラミングで制的に制約を記述することはできる。まあ普通だと思う。 病気の美少女 @lyrical_logical あと診察待ちの間で考えていたけれど、qiita の件は、トランザクションオブジェクトと権限の型は