僕は、「リストモナドの結合律を書き下せ」とか言われても絶対にできません。だって、まったく憶えてないし、憶える努力をしても僕にはとうてい憶えられるシロモノではないからです。 でも、ナプキンペーパーとボールペン(できれば3色)が与えられて、しかも気分と調子がいいときなら、数分後には次のような結果を出せると思います。 リストモナドの結合律は次の通り。 lislislis∈List<List<List<X>>> に対して、 List.flatten<X>(List.map(List.flatten<X>)(lislislis)) = List.flatten<X>(List.flatten<List<X>>(lislislis)) 気分と調子がいいときの僕が、ナプキンペーパーとボールペンでどういう計算をするかを紹介しましょう。まずは、僕がなんで普通の計算をしないのか/できないのかの理由から。 絵を