なのログ

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

Robolectric v4.3 導入の後ろの話

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

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

続きを読む

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

またお久しぶりになってしまいました。型システム入門です。
今確認したら1ヶ月以上空いてますね。うわあ。これは罪では。
今回でやっと5章2節「ラムダ計算でのプログラミング」を抜けます。

続きを読む

2018年でも振り返っておきましょう

なんか普通の話題っぽいぞ・・・!
「こういうの書いておくのがブログたるものだよな」みたいな、
人並みの気持ちが湧いてしまったので。書きます。

続きを読む

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

~~ぜんかいのなのやつさん~~

尻切れトンボなかんじなので、また早いうちに続きをしにきます。(希望)  

~~3週間経過~~

続きを読む

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

第6回です。5章のつづき。
前回「カットするかしら」とか話した部分になりました。型無しラムダでのいろんな表現。

続きを読む