lethevert https://blog.hatena.ne.jp/lethevert/ lethevert is a programmer https://lethevert.hatenadiary.org/ いろいろ実験して、言語リファレンスを読んだ結果、一意性について理解が深まりました。 とりあえず、関数型と一意性の間には、通常の型のように共変反変の関係があります。 ::R a b :== .(a -> b) createR :: *Char -> *(R Int *Char) createR c = (\i = c) f :: u:(R Int *Char) -> u:(R *Int Char) f r = r Start = f (createR 'a') というプログラムは有効なプログラムです。関数fのところで、共変反変の関係が見て取れます。 この結果、抽象型の場合には、共変反変の判断を付… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Flethevert.hatenadiary.org%2Fentry%2F20070604%2Fp2" title="Concurrent Clean: 一意性と抽象型と共変反変 - lethevert is a programmer" 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 2007-06-04 00:00:03 rich https://lethevert.hatenadiary.org/entry/20070604/p2 1.0 100%