前に出てきた"nudge"って単語の意味を調べてみました。意味は「そっと動かす」でした。moveとニュアンスが異なるようですさて、すごいHの写経7章が終わりました。dataキーワードによる型の定義はすんなりと理解できたのですが、型クラス、またそのインスタン…

今日の独習を始める前に、6章のモジュールの部分が終わっていました。記録はしてませんでしたが。7章を進めて130ページ(曜日の列挙型)まで終わりました。 睡眠不足で頭は回らずモチベは上がらず、あまり進みませんでした。反省

一日ごろごろしてました。 ほとんど成果ないですが、引っかかっているポイントが浮かび上がってきたので、メモしておきます。 Haskell 前回の畳み込みを使った表現がまだ解決していないCoq 4で割ると3余るならば真を返す関数が定義できないFixpoint is_4n_3 …