こないだの輪講で読んだ文章に、「ファンクタとはパラメタライズされたモジュールである。それはそうと、『パラメタライズされたモジュール』って言い方は何か変だよね。だってほら、fact のことを『パラメタライズされた整数』なんて呼ぶかい？」みたいなこ…

何もしないままに五月も半ば。やることがなくて暇なのは結構だが、やることが見付けられなくて暇という現状は、少し違う。