lethevert https://blog.hatena.ne.jp/lethevert/ lethevert is a programmer https://lethevert.hatenadiary.org/ プログラミング Cleanの総称関数について、あまり突っ込んで調べたことがなくて、型クラスとどう違うのだろう、みたいに思っていたのだけれど、今日、少し、ちゃんと読んでみた。 http://sky.zero.ad.jp/~zaa54437/programming/clean/LanguageReport21/Chap7.html 総称定義は、実際には、型構成子クラスの集合を定義する。その集合には、あり得る各種に対して１つのクラスがある。このような総称関数は時々、種で索引化されたクラスと呼ばれる。 例：mapの総称定義 generic gMap a b :: a -> b gMap {|c|} x = x gMa… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Flethevert.hatenadiary.org%2Fentry%2F20060311%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 2006-03-11 00:00:02 rich https://lethevert.hatenadiary.org/entry/20060311/p2 1.0 100%