niszetの日記

細かい情報を載せていくブログ

2020-05-04から1日間の記事一覧

プログラミング言語の基礎概念を読んだ

読んだだけ… 先週読み始めて1週間で一応読み終わったので(読んだだけね)記録。 型の話に入ってからの理解がかなり怪しく、途中から式変形と証明が追えなくなってしまったので再履修が必要かな。ある程度Haskellについて知ってるので読めたという部分がある…