2017Rustの型システムの参考論文として紹介されている論文2つ目。Wadler先生の有名なやつ。classes読んだ。読んだけど、このQiitaがとても良くまとまっているので、内容をさらうならこれらを読むのが良さそう。型クラスを完全に理解した話とりあえず自分用に知らなかったところや大まかな流れのメモだけ書いておく。構成オーバロード便利だけど、オーバーロードだと組み合わせによって数がexponentialに増えてしまうので問題がある回避策としての型クラス型クラスのセマンティクスは、型クラスを使わない形への変換を定義することで定義する。これによりH/M型システムで扱える。整数と浮動小数点数で使える。3.14けど、例えばこんな(多相な)関数は定義できない。定義していく方法がある。こんな関数があった場合は数がexponentialに増える。