Return specific type within Haskell

by

A function with signature Num a => a is expected to work for any type in the class Num. The implementation 5.0 :: Double just works for one type, not for all types of the class, so the compiler complains.

An example of a generic function would be:

square :: (Num a) => a -> a
square x = x * x

This works for any type that is a Num. It works for doubles, integers and whatever other numbers you want to use. Because of that it can have a generic type signature that just requires the parameter to be in class Num. (Type class Num is necessary because the function uses multiplication with *, which is defined there)

More Related Contents:

  1. Haskell types frustrating a simple ‘average’ function
  2. Difference between `data` and `newtype` in Haskell
  3. Typeclass constraints on data declarations
  4. Type Constraints in Data Declaration Haskell
  5. Why is there “data” and “newtype” in Haskell? [duplicate]
  6. What is the monomorphism restriction?
  7. How do I define Lisp’s apply in Haskell?
  8. What is the purpose of Rank2Types?
  9. How do you represent a graph in Haskell?
  10. Confused by the meaning of the ‘Alternative’ type class and its relationship to other type classes
  11. Explicitly import instances
  12. What’s the “|” for in a Haskell class definition?
  13. How to infer the type of an expression manually
  14. Haskell: I/O and Returning From a Function
  15. Why can a Num act like a Fractional?
  16. What does the `forall` keyword in Haskell/GHC do?
  17. How does deriving work in Haskell?
  18. Given a Haskell type signature, is it possible to generate the code automatically?
  19. Why not be dependently typed?
  20. What is the Comonad typeclass in Haskell?
  21. ‘some’ and ‘many’ functions from the ‘Alternative’ type class [duplicate]
  22. Getting started with Haskell
  23. How is this fibonacci-function memoized?
  24. What does (f .) . g mean in Haskell?
  25. Pseudo-quicksort time complexity
  26. What are free monads?
  27. Iterate over all pair combinations without repetition in Haskell
  28. How to handle side effect with Applicative?
  29. How does currying work?
  30. Dot Operator in Haskell: need more explanation

Leave a Comment