niszetの日記

アナログCMOS系雑用エンジニアが頑張る備忘録系日記

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

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

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