keigoi https://blog.hatena.ne.jp/keigoi/ keigoiの日記 https://keigoi.hatenadiary.org/ Haskell 昨日の記事に関連するのだけど、 fundeps と type families で一見 同じように見えるが 微妙に異なる挙動を見つけた。ずいぶん込み入った例だけれど、さしあたりの理解のためにこの記事を書く。 ストーリー 例のごとく、私は full-sessionsにおいて 繰り返しを含むプロトコルを表現した型を表現するため、 Haskellで「見かけ上、構造的な再帰型」が欲しいのである(こういう表現が正しいかどうかわからないけれど…)。 例えば data F u = F u data G u = G u という型があるとき、 x = F (G x) と定義された x の型をうまくHaskell… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkeigoi.hatenadiary.org%2Fentry%2F20091116%2F1258358996" title=" type families と fundeps の、単一化に関する微妙な差異 - keigoiの日記" 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 2009-11-16 17:09:56 rich https://keigoi.hatenadiary.org/entry/20091116/1258358996 1.0 100%