Maestumプログラミング、囲碁、読書の話題この広告は、90日以上更新していないブログに表示しています。2018年3月8日というわけで第3章を読み返していて腑に落ちない点が幾つか。classのinstanceだというのは結構混乱する。Intというのも不思議。1は明示的にtypeを指定されない限り、固有の型を持たず、「Num型クラスの何かの型」だと言われているようだ。sum、concat、filter、mapは似ている。数学的帰納...第6章は証明について。)はてなブログをはじめよう!zehnpaardさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。