haskell - XNoMonomorphismRestriction とは?

Question

このページの使い方

$ ghci -XNoMonomorphismRestriction

haskell インタプリタを起動します。

XNoMonomorphismRestrictionswitch とはどういう意味ですか?

Answer 1

これは、「関数表記法」¹ を使用して定義されていない値を非ポリモーフィック型に制限するモノモーフィズム制限をオフにします。

---

¹ 「関数表記を使用しない」とは、それらがfoo = somethingand notとして定義されていることを意味しますfoo bar = something。つまり、定義には明示的な引数が含まれていません。