adhoc-polymorphism

9熱

2答えて

アドホック多形関数とパラメトリック多形関数間を変換する一般的な方法があるのだろうかと思います。言い換えれば、アドホック多形関数を考えると、パラメトリックな対応をどのように実装するのでしょうか？他の方法はどうですか？ sortを例にとります。それはsortByの面でsort :: Ord a => [a] -> [a]を書くのは簡単です： sort :: Ord a => [a] -> [a] s