なのログ

だから見てて下さい・・・俺の・・・変身

型システム入門を読んでいます(第10回)

祝・第10回。(セルフ祝辞)
メイドインアビスの更新が先か本シリーズの更新が先かという様相を呈していましたが、
なんとかこちらに軍配が上がるようです。やっていきましょう。

続きを読む

サービスリリースとソフトウェアリプレースと(2019-2/4期)

振り返り記事をまたやりにきました。前回が3月末だったな~と思うたびに、
「あ~じゃあ四半期ごとにメモるか」って思ってたんですよね。というわけで現在6月末。どうぞ。

続きを読む

Robolectric v4.3 導入の後ろの話

よくある話題:「外部に書こうかな~~自分のブログに書こうかな~~」
弊ブログでの回答:「両方で」

というわけで、この記事⇩と同じ話題の蛇足バージョンです。
最新のRobolectric (v4.3)の導入で迷える子羊を俺が救う[ Android / testing ] - Qiita

続きを読む

型システム入門を読んでいます(第9回)

第5章型無しラムダ計算、3節形式的議論。
この節苦手なんですよね。形式的議論シリーズ。
この節、いつも「お前何言ってんだ」感が強い。(暴言)

続きを読む