| ... | ... | @@ -71,7 +71,7 @@ There have been 4 other suggestions related to the monomorphism restriction: |
|
|
|
[Bindings are monomorphic unless constrained by a type signature](monomorphism-restriction/monomorphic-variable-and-pattern-bindings)
|
|
|
|
|
|
|
|
>
|
|
|
|
> Seems against the spirit of Haskell.
|
|
|
|
> Seems against the spirit of Haskell. But see [ Let should not be generalised](http://research.microsoft.com/~simonpj/papers/constraints/index.htm) which argues the case for this approach, at least for nested bindings.
|
|
|
|
|
|
|
|
## References
|
|
|
|
|
| ... | ... | |
