2013-09-09 体調悪し いまいっちょ集中出来ない。仕事そんなに忙しくないからよいものの。 喉が嗄れる。鼻がつまる。 今日のCoq 高階関数のところまで。javascriptや、schemeを齧ってると、すぐ出来る。 が型がある点がいままでとちょっと違う。 Foldで、f : X -> Y という関数を取ってX -> Yという型変換が出来ると何が便利なのかはいまいちピンとこない。