Twitterでボヤいていたらいろいろ教えて頂いたので今後のために残しておこうと思います。.@objectxplosive @mathshun 純粋なコードで無理矢理 trace を書いても利用されなければ trace が起動しません。純粋なモナドでは、 !_ <- return $ trace (show a) a …

記事の要約・引用。一部自分の言葉で若干表現を変えたかも。 1. 効率的に学ぶには 知識には3つの軸がある 「広い視野」軸 学ぶべき対象を見つける。勉強会・ブログ記事・ニュース記事。 「深い理解」軸 学びの効率化と応用のために必要 「応用対象」軸 自分…