関数swapの型の意味

Question

swap(x,y)=(y,x)

>:t swap

swap :: (b,a)->(a,b)**(a,b)->(b,a)ではないのでしょうか？**
コード

Comments

[igrep]

どちらにしても意味は変わらないので特に気にする必要もない気がしますが、これはGHCがどのようなアルゴリズムで(b, a) -> (a, b)と、bから先に型変数を割り当てたのか気になる、という意図でしょうか？

[old.exe]

その通りです。気になった理由としまして、辞書順に従うとaの方が先に読み込まれるはずではないのかという疑問がきっかけです。

Answer 1

実際に実装を見たわけではないのであくまでも推測ですが、単純に、型推論をする際に、関数定義の本体、つまりswap関数でいうところの、

swap (x, y) = (y, x)
--            ^^^^^^
--           この部分！

「この部分！」で^を引いた箇所を先にみて型変数を割り当てているからではないでしょうか？型推論のアルゴリズムはよく知られているので、調べてみるとさらにそんな気がしてきます。