このコードが(Read aをつけると)なんで動くのかが分からなくて、Geminiに聞いてみた。defaulting rules というのがあって、型変数が曖昧で、かつその型変数に数値クラス(Num, Floating, RealFloatなど)の制約がある場合、Integer、Doubleの順番で型が当てはまるか試してみるらしい。うーん複雑。でも勉強になった。
https://gemini.google.com/share/968ca46cd9e9
View quoted note →
View quoted note →