昨日あたりから、CleanのMLで型変数についての議論が続いている。 問題となっているのは、次の関数が型エラーになる所。 f :: a -> a f x = y where y :: a y = x yに付けられた型が問題で、これをコメントアウトすればコンパイルエラーにはならない。 これ…