What does $ mean/do in Haskell?

by

$ is infix “application”. It’s defined as

($) :: (a -> b) -> (a -> b)
f $ x = f x

-- or 
($) f x = f x
-- or
($) = id

It’s useful for avoiding extra parentheses: f (g x) == f $ g x.

A particularly useful location for it is for a “trailing lambda body” like

forM_ [1..10] $ \i -> do
  l <- readLine
  replicateM_ i $ print l

compared to

forM_ [1..10] (\i -> do
  l <- readLine
  replicateM_ i (print l)
)

Or, trickily, it shows up sectioned sometimes when expressing “apply this argument to whatever function”

applyArg :: a -> (a -> b) -> b
applyArg x = ($ x)

>>> map ($ 10) [(+1), (+2), (+3)]
[11, 12, 13]

More Related Contents:

  1. What characters are permitted for Haskell operators?
  2. What is the difference between . (dot) and $ (dollar sign)?
  3. Why shouldn’t I mix tabs and spaces?
  4. What does the “@” symbol mean in reference to lists in Haskell?
  5. Are there pronounceable names for common Haskell operators? [closed]
  6. What’s the “|” for in a Haskell class definition?
  7. What does the exclamation mark mean in a Haskell declaration?
  8. What does the `forall` keyword in Haskell/GHC do?
  9. Converting IO Int to Int
  10. Dot Operator in Haskell: need more explanation
  11. What does map(&:name) mean in Ruby?
  12. Question mark and colon in JavaScript
  13. How to group similar items in a list using Haskell?
  14. (OrElse and Or) and (AndAlso and And) – When to use?
  15. How do I deal with many levels of indentation?
  16. Memoization in Haskell?
  17. Wrong IO actions order using putStr and getLine
  18. What does ‘&’ do in a C++ declaration?
  19. Difference between `data` and `newtype` in Haskell
  20. How do functors work in haskell?
  21. Lifting a higher order function in Haskell
  22. Distinction between typeclasses MonadPlus, Alternative, and Monoid?
  23. Function definition by special cases in GHCi
  24. Pattern matching identical values
  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. What does ‘**’ mean in C?
  30. How does Haskell printf work?

Leave a Comment