chiguri_s https://blog.hatena.ne.jp/chiguri_s/ chiguriの生態（嘘や誇張アリ） https://chiguri-s.hatenadiary.org/ 研究 Coq Coq8.2からType classが導入された。 もともとType classはHaskellにあったものである。 よって、Expression problemもHaskellからやり始めるのが楽である。 だが、私は残念ながらHaskellの世界の住人ではないので、Haskellによる解決に関しては私がこれをやるにいたった原因であるmaoeさんの記事を参照してほしい。 HaskellのType classなんてわからん！という人のために、Expression problemに関してだけ説明*1。 要は、式を計算するようなプログラムを書いて、今まで書いた部分に手を加えることなく新しい演算子を入… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fchiguri-s.hatenadiary.org%2Fentry%2F20110211%2F1297438098" title="CoqのType classでExpression problemに挑戦する - chiguriの生態（嘘や誇張アリ）" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-02-11 00:28:18 rich https://chiguri-s.hatenadiary.org/entry/20110211/1297438098 1.0 100%