1112
お昼から仕事。あいかわらずデザインもフローも上がってこないので不具合の修正に終始しました。うーん、モチベイション下がるよね。具合も悪いし。
あと勉強会の準備のためにSwiftの本を読みました。勉強会、方向性としてはOptionalに的を絞ってその絡みで関数プログラミングの話とかするのがいいのかもしれない。OptionalやArrayはFunctorで~、しかもApplicative Functorで~、ついでにMonadでもあるんです~、みたいな。でもApplicative Functorのありがたみがよくわからないのよね。文脈付きの関数とかってそんなにあるかしら。Monadでよくない?
Optionalを真似て、型TとNSErrorを持つFailable<T>という型を例示に使うといいかなと思いました。で、Monadっぽくbindしたりとか。あるいはPromiseをMonadとして扱ってみせるのもいい(時間が足りるかわからないけれど)。
昨夜は層・圏・トポスの圏の章をやっと読みおわったのだけど、あの本はアレなので他の本のほうがいいよ、というコメントをもらったので中断しています。アレって具体的になんなのかよくわからないけれど。まあ、僕としたところで別にトポスの勉強がしたかったわけではなくて五年来の積読を崩したかったというだけではあるので、別にここで止めてしまってもいいのだけど。それよか数論の本を読もうかな。