Why is this definition affected by the monomorphism restriction?
z = \n -> n + 1
and this isn't:
z n = n + 1
Asked
Active
Viewed 43 times
4
Will Ness
- 70,110
- 9
- 98
- 181
softshipper
- 32,463
- 51
- 192
- 400
-
you can find the answer in the canonical duplicate, under **"When does it happen?"**. Specifically, it says "When a pattern binding consists of only a variable name it's called a simple pattern binding.. **The monomorphism restriction applies to simple pattern bindings!**". As defined by the Haskell Report, referenced in that answer as well. – Will Ness Feb 21 '19 at 10:07
-
@WillNess Let's continue in the chat. How to provide a it? – softshipper Feb 21 '19 at 10:09
-
@WillNess anyway, thanks a lot for your help. – softshipper Feb 21 '19 at 10:10
-
1@WillNess This sentence *The monomorphism restriction applies to simple pattern bindings!* makes it clear. – softshipper Feb 21 '19 at 10:14