Why are polymorphic values not inferred in Haskell?

by

It’s the monomorphism restriction which says that all values, which are defined without parameters and don’t have an explicit type annotation, should have a monomorphic type. This restriction can be disabled in ghc and ghci using -XNoMonomorphismRestriction.

The reason for the restriction is that without this restriction long_calculation 42 would be evaluated twice, while most people would probably expect/want it to only be evaluated once:

longCalculation :: Num a => a -> a
longCalculation = ...

x = longCalculation 42

main = print $ x + x

More Related Contents:

  1. What is the monomorphism restriction?
  2. Why do 3 and x (which was assigned 3) have different inferred types in Haskell? [duplicate]
  3. How do I define Lisp’s apply in Haskell?
  4. :sprint for polymorphic values?
  5. What is the purpose of Rank2Types?
  6. Scala: How to define “generic” function parameters?
  7. How to infer the type of an expression manually
  8. Haskell: How to create most generic function possible that applies a function to tuple items
  9. Why can a Num act like a Fractional?
  10. Does Haskell have return type overloading?
  11. Haskell \p -> not takeWhile
  12. Sum of two numbers with function in haskell
  13. How to group similar items in a list using Haskell?
  14. How do I deal with many levels of indentation?
  15. Memoization in Haskell?
  16. Wrong IO actions order using putStr and getLine
  17. Difference between `data` and `newtype` in Haskell
  18. How do functors work in haskell?
  19. Lifting a higher order function in Haskell
  20. Distinction between typeclasses MonadPlus, Alternative, and Monoid?
  21. Function definition by special cases in GHCi
  22. Lambda for type expressions in Haskell?
  23. Pattern matching identical values
  24. Composing Monads v. Applicative Functors
  25. Abusing the algebra of algebraic data types – why does this work?
  26. What does the : infix operator do in Haskell?
  27. Monoidal Functor is Applicative but where is the Monoid typeclass in the definition of Applicative?
  28. How to return a pure value from a impure method
  29. Functional lenses
  30. How to reuse a type variable in an inner type declaration

Leave a Comment