日記（2020年1月1日）

Wed Jan 1 20:28:00 JST 2020 (modified: Wed Jan 1 22:55:48 JST 2020)
views: 1472, keywords:日記, OCaml, SATySFi この記事は最終更新日が4年以上前のものです。

　3年の講義の課題の締め切りが大晦日だったので、今日採点をする羽目になった。午前を消費。午後は勉強できた。

OCamlの勉強

　SATySFiをいじりたいのでこちらの本をだーっと読んだ。関数型言語の勉強をするのはHaskell以来だけど、Haskellやってたのでそんなに違和感なかった。let ... inは面白い書き方だなーと思って読んでたけどそういえばHaskellにもあった。

プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで〜: [五十嵐淳]; 技術評論社 2014-12-09 (Release 2014-12-09)

(powered by amazon-item v0.2.1)

　OCamlを踏まえた上でSATySFiの解説を読み直す。当然ながら分かりが進んだ。

　その後、自分でsubsectionをカスタマイズしようとしたけど玉砕。分かりが進んだけど何にも分からん。その後さらにねばったけどテキストに出てくるref-lemmaがないので探しまくったけど見つからず助けてほしいけど助けを求める体力が残ってない。

寝る。