notogawa https://blog.hatena.ne.jp/notogawa/ ぼくのぬまち 出張版 https://notogawa.hatenablog.com/ Haskell (注:この記事はかなり前に書いて公開し忘れていたことに今日気付いたものです．もう当たり前になってるかもしれないけどもったいないので一応)ghc8以降TypeApplications拡張が入ったこともあり一応の注意喚起．たとえば，次のように関数fとgを定義する．時系列的にはfの型をgの型に変更したような想定で． data X a b = X a b f :: (Show a, Show b) => X a b -> String f (X a b) = show a ++ show b -- fと比べて型変数aとbに対するShowコンテキストを入れ換えたもの g :: (Show b, Show… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnotogawa.hatenablog.com%2Fentry%2F2017%2F08%2F09%2F120225" title="コンテキストの順番を入れ換えると互換性が崩れることがある - ぼくのぬまち 出張版" 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 2017-08-09 12:02:25 rich https://notogawa.hatenablog.com/entry/2017/08/09/120225 1.0 100%